Primary version lives at http://www.w3.org/2003/08/owl-systems/test-results-out
This page is a companion to the OWL Implementations page. It is generated from the latest editor's draft which contains some changes since the CR version, in combination with many tests-results pages maintained by OWL systems developers.
Approved | Proposed | Extra Credit | |||||||
---|---|---|---|---|---|---|---|---|---|
Lite | DL | Full | Lite | DL | Full | Lite | DL | Full | |
Use of OWL Namespace | 9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Entailment Tests | 23 | 29 | 41 | 0 | 0 | 0 | 4 | 1 | 3 |
Non-Entailment Tests | 8 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 7 |
OWL for OWL Tests | 1 | 1 | 4 | 0 | 0 | 0 | 0 | 0 | 0 |
Consistency Tests | 25 | 27 | 0 | 0 | 0 | 0 | 0 | 4 | 24 |
Inconsistency Tests | 29 | 38 | 7 | 0 | 0 | 0 | 1 | 4 | 0 |
Import Entailment Tests | 1 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 |
Import Level Tests | 3 | 1 | 3 | 0 | 0 | 0 | 0 | 0 | 0 |
Syntactic Level Tests | 99 | 102 | 57 | 0 | 0 | 0 | 5 | 9 | 34 |
No results on these tests for: WonderWeb Euler Hoolet FaCT Surnia
Test | FOWL | Pellet | OWLP | Cerebra | ConsVISor |
---|---|---|---|---|---|
Percent Passing (of 9 tests) | 100% | 100% | 100% | 100% | 100% |
(levels:Lite) I3.2-001 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified cardinality constraint are not defined the OWL namespace. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I3.2-002 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified max cardinality constraint are not defined the OWL namespace. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I3.2-003 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified min cardinality constraint are not defined the OWL namespace. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I3.4-001 [APPROVED: Med L XXL]
The name UnambiguousProperty is not defined in the OWL namespace. daml:UnambiguousProperty corresponds to owl:InverseFunctionalProperty . | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I4.1-001 [APPROVED: Med L XXL]
The name UniqueProperty is not defined in the OWL namespace.
daml:UniqueProperty corresponds to owl:FunctionalProperty . | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I4.6-006 [APPROVED: Med L XXL]
owl:sameIndividualAs is not an OWL property. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I4.6-007 [APPROVED: Med L XXL]
owl:sameClassAs is not an OWL property. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I4.6-008 [APPROVED: Med L XXL]
owl:samePropertyAs is not an OWL property. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I5.21-001 [APPROVED: Med L XXL]
daml:disjointUnionOf did not make it into OWL. | Pass | Pass | Pass | Pass | Pass |
No results on these tests for: WonderWeb ConsVISor
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | Surnia |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 23 tests) | 65% | 82% | 100% | 65% | 73% | 82% | 4% | 26% |
(levels:Lite, Full) I5.2-002 [APPROVED: Med L XXL]
A class like owl:Nothing can be defined using OWL Lite restrictions. | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) I5.24-003 [APPROVED: Med L XXL] This is a typical definition of range from description logic. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:Lite, Full) I5.24-004 [APPROVED: Med L XXL] This is a typical definition of range from description logic. It works both ways. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:Lite, Full) Ontology-001 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triples in the premises and conclusions. | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:Lite, Full) Ontology-004 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of two owl:Ontology triples in the premises. | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:Lite, Full) SymmetricProperty-003 [APPROVED: Med L XXL] A Lite version of test 001. | Pass | Pass | Pass | no data | Pass | no data | no data | no data |
(levels:Lite, Full) allValuesFrom-001 [APPROVED: Med L XXL] A simple example. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Undecided |
(levels:Lite, Full) cardinality-001 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) cardinality-002 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) description-logic-661 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data |
(levels:Lite, Full) description-logic-662 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data |
(levels:Lite, Full) description-logic-663 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data |
(levels:Lite, Full) description-logic-664 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data |
(levels:Lite, Full) description-logic-665 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:Lite, Full) description-logic-667 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:Lite, Full) equivalentClass-001 [APPROVED: Med L XXL] Two classes may have the same class extension. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:Lite, Full) equivalentClass-002 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:Lite, Full) equivalentClass-003 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | Pass | Pass | Pass | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) equivalentClass-004 [APPROVED: Med L XXL] Two classes with the same complete description are equivalent. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:Lite, Full) equivalentProperty-001 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead . | Pass | Pass | Pass | no data | Pass | Pass | no data | Pass |
(levels:Lite, Full) equivalentProperty-002 [APPROVED: Med L XXL]
A reasoner can also deduce that hasLeader is a subProperty of hasHead and hasHead is a subProperty of hasLeader . | Pass | Pass | Pass | no data | Pass | Pass | no data | Pass |
(levels:Lite, Full) equivalentProperty-003 [APPROVED: Med L XXL] The inverse entailment of test 002 also holds. | Pass | Pass | Pass | no data | Pass | Pass | no data | Pass |
(levels:Lite, Full) someValuesFrom-003 [APPROVED: Med L XXL] A simple infinite loop for implementors to avoid. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
No results on these tests for: WonderWeb ConsVISor
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | Surnia |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 29 tests) | 6% | 89% | 100% | 44% | 51% | 62% | 10% | 3% |
(levels:DL, Full) I4.5-001 [APPROVED: Med L XXL] An example combinging owl:oneOf and owl:inverseOf. | no data | Pass | Pass | no data | Pass | Pass | no data | no data |
(levels:DL, Full) I5.2-004 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:DL, Full) I5.2-006 [APPROVED: Med L XXL]
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf . | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:DL, Full) I5.21-002 [APPROVED: Med L XXL] The construct used here shows how to express mutual disjointness between classes with O(N) triples. | Undecided | Pass | Pass | Fail | Pass | Undecided | no data | no data |
(levels:DL, Full) I5.26-009 [APPROVED: Med L XXL]
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p )This is trivially true given that first:p is an individualvaluedPropertyID . | no data | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:DL, Full) I5.26-010 [APPROVED: Med L XXL]
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p )This is trivially true given that first:p is an individualvaluedPropertyID . | no data | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:DL, Full) I5.5-005 [APPROVED: Med L XXL] This test exhibits the effect of the comprehension principles in OWL Full. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:DL, Full) SymmetricProperty-002 [APPROVED: Med L XXL]
Test illustrating extensional semantics of owl:SymmetricProperty . | Undecided | Pass | Pass | no data | Undecided | no data | no data | no data |
(levels:DL, Full) TransitiveProperty-002 [APPROVED: Med L XXL]
Test illustrating extensional semantics of owl:TransitiveProperty . | Undecided | Pass | Pass | no data | Undecided | no data | no data | no data |
(levels:DL, Full) cardinality-003 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Pass |
(levels:DL, Full) cardinality-004 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | Pass | Pass | Pass | Undecided | Pass | no data | Undecided |
(levels:DL, Full) description-logic-201 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:DL, Full) description-logic-202 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data |
(levels:DL, Full) description-logic-203 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data |
(levels:DL, Full) description-logic-204 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data |
(levels:DL, Full) description-logic-205 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:DL, Full) description-logic-206 [APPROVED: Med L XXL] DL Test: k_path ABox test from DL98 systems comparison. | Undecided | Pass | Pass | Undecided | Pass | Pass | no data | no data |
(levels:DL, Full) description-logic-207 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:DL, Full) description-logic-208 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Undecided | Undecided | no data | no data |
(levels:DL, Full) description-logic-901 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 2, 3 and 5. | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-903 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 200, 300 and 500. | no data | Undecided | Pass | no data | Undecided | Undecided | Pass | no data |
(levels:DL, Full) disjointWith-001 [APPROVED: Med L XXL] Disjoint classes have different members. | Pass | Pass | Pass | no data | Pass | Pass | no data | Undecided |
(levels:DL, Full) equivalentClass-006 [APPROVED: Med L XXL] De Morgan's law. | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) equivalentProperty-004 [APPROVED: Med L XXL]
If p and q have the same property extension then p equivalentProperty q . | Undecided | Pass | Pass | no data | no data | Pass | no data | Undecided |
(levels:DL, Full) miscellaneous-010 [APPROVED: Med L XXL] Which wine goes well with which food. | no data | Undecided | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) miscellaneous-011 [APPROVED: Med L XXL] Which wine hasSugar OffDry. | no data | Undecided | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) oneOf-004 [APPROVED: Med L XXL] This test illustrates the use of dataRange in OWL DL. This test combines some of the ugliest features of XML, RDF and OWL. | Undecided | Pass | Pass | Fail | Undecided | Undecided | no data | no data |
(levels:DL, Full) unionOf-003 [APPROVED: Med L XXL] Sets with appropriate extensions are related by unionOf. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:DL, Full) unionOf-004 [APPROVED: Med L XXL] An inverse to test 003. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
No results on these tests for: WonderWeb Hoolet FaCT ConsVISor
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Surnia |
---|---|---|---|---|---|---|
Percent Passing (of 41 tests) | 48% | 82% | 100% | 0% | 12% | 41% |
(levels:Full) AllDifferent-001 [APPROVED: Med L XXL]
using AllDifferent to derive differentFrom | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) AnnotationProperty-002 [APPROVED: Med L XXL] Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment. | Undecided | no data | Pass | Fail | Pass | no data |
(levels:Full) Class-002 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | Pass | Pass | Pass | no data | Pass | no data |
(levels:Full) Class-003 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | Pass | Pass | Pass | no data | Pass | no data |
(levels:Full) Class-006 [APPROVED: Med L XXL]
This test shows a correct application of OWL Full comprehension rules.
It also shows that use of rdfs:Class instead of owl:Class
may make a file fall outside OWL DL. | Undecided | Pass | Pass | no data | no data | no data |
(levels:Full) FunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty ,
and subject denotes a resource
which is the subject of two prop triples, then the object s
of these triples have the same denotation. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) FunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty ,
and subject denotes a resource
which is the subject of two prop triples, then the object s
of these triples have the same denotation.Hence any assertion made
using one of them can be transferred to the other. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) FunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:FunctionalProperty ,
then its inverse is an owl:InverseFunctionalProperty . | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) FunctionalProperty-004 [APPROVED: Med L XXL]
If the range of prop is a singleton set then it is necessarily functional, (i.e. every member of its domain
has a single value) and so it is an owl:FunctionalProperty . | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) FunctionalProperty-005 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty
then an OWL individual has at most one value for prop. | Undecided | Pass | Pass | no data | Pass | no data |
(levels:Full) I4.6-003 [APPROVED: Med L XXL]
owl:sameAs is stronger than owl:equivalentClass . | Undecided | no data | Pass | no data | no data | Undecided |
(levels:Full) I5.1-001 [APPROVED: Med L XXL] stateCode example using an inverseFunctionalProperty and literals | no data | no data | Pass | no data | no data | Undecided |
(levels:Full) I5.24-001 [APPROVED: Med L XXL] This entailment is similar to one that does not hold in RDFS. | Undecided | Pass | Pass | no data | no data | Undecided |
(levels:Full) I5.24-002 [APPROVED: Med L XXL] OWL, unlike RDFS, uses iff semantics for range. | Undecided | Pass | Pass | no data | no data | no data |
(levels:Full) I5.3-014 [APPROVED: Med L XXL] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | Undecided | no data | Pass | no data | no data | no data |
(levels:Full) I5.3-015 [APPROVED: Med L XXL] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | Undecided | no data | Pass | no data | no data | no data |
(levels:Full) I5.8-017 [APPROVED: Med L XXL] This explores aliases of builtin datatypes. | no data | no data | Pass | no data | no data | no data |
(levels:Full) InverseFunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty ,
and object denotes a resource
which is the object of two prop triples, then the subject s
of these triples have the same denotation. | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty ,
and object denotes a resource
which is the object of two prop triples, then the subject s
of these triples have the same denotation. Hence any assertion made
using one of them can be transferred to the other. | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:InverseFunctionalProperty ,
then its inverse is an owl:FunctionalProperty . | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-004 [APPROVED: Med L XXL]
If the domain of prop is a singleton set then it is necessarily inverse functional, (i.e. every member of its
range is the value of a single item) so it is an
owl:InverseFunctionalProperty . | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) Restriction-006 [APPROVED: Med L XXL]
This test shows a correct application of OWL Full comprehension rules.
It also shows that optional type triples on an owl:Restriction
do not replace the obligatory ones. | Undecided | Pass | Pass | no data | no data | no data |
(levels:Full) SymmetricProperty-001 [APPROVED: Med L XXL] A simple illustration of symmetric properties. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) TransitiveProperty-001 [APPROVED: Med L XXL] A simple illustration of transitivity. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) cardinality-006 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | Pass | Pass | no data | no data | no data |
(levels:Full) complementOf-001 [APPROVED: Med L XXL]
complementOf is a SymmetricProperty .
| Pass | Pass | Pass | no data | no data | Undecided |
(levels:Full) differentFrom-001 [APPROVED: Med L XXL]
differentFrom is a SymmetricProperty .
| Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) differentFrom-002 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Full) disjointWith-002 [APPROVED: Med L XXL] Disjoint classes have different members. | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Full) distinctMembers-001 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Full) equivalentClass-007 [APPROVED: Med L XXL] De Morgan's law. | Undecided | Pass | Pass | no data | Pass | no data |
(levels:Full) equivalentProperty-005 [APPROVED: Med L XXL]
If p and q have the same property extension then p owl:equivalentProperty q . | Undecided | Pass | Pass | no data | no data | Undecided |
(levels:Full) equivalentProperty-006 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead . | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) intersectionOf-001 [APPROVED: Med L XXL]
The order of the classes in an intersectionOf
construct is unimportant. | Undecided | Pass | Pass | no data | no data | Undecided |
(levels:Full) inverseOf-001 [APPROVED: Med L XXL]
If the pair (x,y) is an instance of P , than the pair (y,x) is
an instance of the named property. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) oneOf-002 [APPROVED: Med L XXL]
oneOf describes a class by enumerating its individuals.
| Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) oneOf-003 [APPROVED: Med L XXL]
The order of the instances in an owl:oneOf
construct is unimportant. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) sameAs-001 [APPROVED: Med L XXL] Annotation properties refer to a class instance. sameAs, in OWL Full, also refers to the class instance. | Pass | no data | Pass | no data | no data | no data |
(levels:Full) someValuesFrom-001 [APPROVED: Med L XXL] A simple example. | Undecided | Pass | Pass | no data | no data | no data |
(levels:Full) unionOf-001 [APPROVED: Med L XXL] A union is a superclass of its parts. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) unionOf-002 [APPROVED: Med L XXL] A union behaves quite like set theoretic union. | Pass | Pass | Pass | no data | no data | Undecided |
No results on these tests for: WonderWeb FaCT ConsVISor Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet |
---|---|---|---|---|---|---|
Percent Passing (of 4 tests) | 0% | 100% | 100% | 75% | 25% | 0% |
(levels:Lite, Full) I5.8-006 [EXTRACREDIT: Med L XXL]
All xsd:byte
are xsd:short . | Undecided | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) I5.8-008 [EXTRACREDIT: Med L XXL]
-1 is an xsd:short that is not an
xsd:unsignedShort ;
100000 is an xsd:unsignedInt that is not
an xsd:unsignedShort ; but there are no
xsd:unsignedShort which are neither
xsd:short nor
xsd:unsignedInt | Undecided | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) I5.8-009 [EXTRACREDIT: Med L XXL]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger . 0 is an
xsd:short . | Undecided | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) I5.8-010 [EXTRACREDIT: Med L XXL]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger . | Undecided | Pass | Pass | Fail | Pass | Undecided |
No results on these tests for: WonderWeb FaCT ConsVISor Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet |
---|---|---|---|---|---|---|
Percent Passing (of 1 tests) | 0% | 100% | 100% | 0% | 0% | 0% |
(levels:DL, Full) I5.8-004 [EXTRACREDIT: Med L XXL]
There are precisely 128 different values of xsd:byte
that are also xsd:unsignedInt . | Undecided | Pass | Pass | Fail | Undecided | Undecided |
No results on these tests for: WonderWeb Pellet OWLP Cerebra Hoolet FaCT ConsVISor Surnia
Test | FOWL | Euler |
---|---|---|
Percent Passing (of 3 tests) | 0% | 100% |
(levels:Full) extra-credit-002 [EXTRACREDIT: Med L XXL] This test shows a relationship between integer multiplication and OWL Full. | no data | Pass |
(levels:Full) extra-credit-003 [EXTRACREDIT: Med L XXL] Prime factorization can be expressed in OWL Full. | Undecided | Pass |
(levels:Full) extra-credit-004 [EXTRACREDIT: Med L XXL] A more difficult prime factorization example. | Undecided | Pass |
No results on these tests for: WonderWeb Hoolet FaCT ConsVISor
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Surnia |
---|---|---|---|---|---|---|
Percent Passing (of 8 tests) | 100% | 62% | 0% | 87% | 25% | 0% |
(levels:Lite, Full) I4.6-005 [APPROVED: Med L XXL]
owl:equivalentClass is not related to annotations on classes. | Pass | no data | Undecided | Pass | Undecided | no data |
(levels:Lite, Full) I5.8-007 [APPROVED: Med L XXL]
-1 is an xsd:short
that is not an
xsd:unsignedByte . | Pass | Pass | Undecided | Fail | Undecided | no data |
(levels:Lite, Full) Ontology-003 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triple only in the conclusions. | Pass | Pass | Undecided | Pass | no data | no data |
(levels:Lite, Full) Restriction-005 [APPROVED: Med L XXL]
This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Restriction . | Pass | Pass | Undecided | Pass | Undecided | no data |
(levels:Lite, Full) allValuesFrom-002 [APPROVED: Med L XXL]
Another simple example; contrast with owl:someValuesFrom . | Pass | Pass | Undecided | Pass | Pass | Undecided |
(levels:Lite, Full) equivalentClass-005 [APPROVED: Med L XXL] Two classes with the same partial description are not equivalent. | Pass | Pass | Undecided | Pass | Pass | Undecided |
(levels:Lite, Full) miscellaneous-302 [APPROVED: Med L XXL] Annotations participate a little in the semantics. | Pass | no data | Undecided | Pass | no data | no data |
(levels:Lite) AnnotationProperty-001 [APPROVED: Med L XXL] The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations. | Pass | no data | Fail | Pass | Undecided | no data |
No results on these tests for: WonderWeb Hoolet ConsVISor
Test | FOWL | Pellet | Euler | OWLP | Cerebra | FaCT | Surnia |
---|---|---|---|---|---|---|---|
Percent Passing (of 6 tests) | 83% | 83% | 0% | 50% | 0% | 33% | 0% |
(levels:DL, Full) Class-005 [APPROVED: Med L XXL]
This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Class . | Pass | Pass | Undecided | Pass | Undecided | no data | no data |
(levels:DL, Full) I5.8-005 [APPROVED: Med L XXL]
There are 128 different values of xsd:byte
that are also xsd:unsignedInt . | Pass | Pass | Undecided | Pass | Undecided | no data | no data |
(levels:DL, Full) description-logic-209 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. (Modified in light of implementation feedback, see test description-logic-208). | no data | Pass | Undecided | Undecided | no data | no data | no data |
(levels:DL, Full) description-logic-902 [APPROVED: Med L XXL] This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 2, 3 and 6. | Pass | Pass | Undecided | no data | Undecided | Pass | Undecided |
(levels:DL, Full) description-logic-904 [APPROVED: Med L XXL] This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 200, 300 and 600. | Pass | Pass | Undecided | no data | Undecided | Pass | no data |
(levels:DL, Full) equivalentClass-008 [APPROVED: Med L XXL] Annotation properties refer to a class instance. equivalentClass refers to the class extension. | Pass | no data | Undecided | Pass | Undecided | no data | no data |
No results on these tests for: WonderWeb OWLP Cerebra Hoolet FaCT ConsVISor
Test | FOWL | Pellet | Euler | Surnia |
---|---|---|---|---|
Percent Passing (of 7 tests) | 100% | 57% | 0% | 0% |
(levels:Full) Class-004 [EXTRACREDIT: Med L XXL] Annotations about owl:Class are not related to those about rdfs:Class. | Pass | no data | Undecided | no data |
(levels:Full) I4.6-004 [EXTRACREDIT: Med L XXL]
owl:sameAs is stronger than owl:equivalentClass . | Pass | no data | Undecided | no data |
(levels:Full) I5.5-006 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists. | Pass | Pass | Undecided | no data |
(levels:Full) I5.5-007 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists. | Pass | no data | Fail | no data |
(levels:Full) imports-002 [EXTRACREDIT: Med L XXL] If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. | Pass | Pass | Undecided | Undecided |
(levels:Full) miscellaneous-301 [EXTRACREDIT: Med L XXL] Annotations participate a little in the semantics. | Pass | Pass | Undecided | no data |
(levels:Full) someValuesFrom-002 [EXTRACREDIT: Med L XXL]
A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom . | Pass | Pass | Undecided | Undecided |
No results on these tests for: WonderWeb Pellet Hoolet FaCT ConsVISor Surnia
Test | FOWL | Euler | OWLP | Cerebra |
---|---|---|---|---|
Percent Passing (of 1 tests) | 100% | 100% | 100% | 0% |
(levels:Lite, Full) I5.8-011 [APPROVED: Med L XXL]
The empty graph entails that xsd:integer and xsd:string
are a rdfs:Datatype | Pass | Pass | Pass | Undecided |
No results on these tests for: WonderWeb Pellet Cerebra Hoolet FaCT ConsVISor Surnia
Test | FOWL | Euler | OWLP |
---|---|---|---|
Percent Passing (of 1 tests) | 100% | 100% | 100% |
(levels:DL, Full) Nothing-002 [APPROVED: Med L XXL]
An empty owl:Class has the same class extension as owl:Nothing . | Pass | Pass | Pass |
No results on these tests for: WonderWeb Pellet OWLP Hoolet FaCT ConsVISor Surnia
Test | FOWL | Euler | Cerebra |
---|---|---|---|
Percent Passing (of 4 tests) | 100% | 100% | 100% |
(levels:Full) Class-001 [APPROVED: Med L XXL] In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class. | Pass | Pass | Pass |
(levels:Full) I5.5-001 [APPROVED: Med L XXL] rdf:first is a FunctionalProperty. | Pass | Pass | Pass |
(levels:Full) I5.5-002 [APPROVED: Med L XXL] rdf:rest is a FunctionalProperty. | Pass | Pass | Pass |
(levels:Full) imports-010 [APPROVED: Med L XXL] This test specifies the domain and range for owl:imports. | Pass | Pass | Pass |
No results on these tests for: WonderWeb Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 25 tests) | 64% | 100% | 0% | 64% | 84% | 76% | 40% | 80% |
(levels:Lite, Full) I5.2-001 [APPROVED: Med L XXL]
A class like owl:Nothing can be defined using OWL Lite restrictions. | Pass | Pass | Undecided | Pass | Pass | Pass | Pass | Pass |
(levels:Lite, Full) I5.2-003 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) I5.2-010 [APPROVED: Med L XXL] The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) I5.2-011 [APPROVED: Med L XXL] The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) I5.3-006 [APPROVED: Med L XXL] A minimal OWL Lite version of test 005. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) I5.3-008 [APPROVED: Med L XXL] An OWL Lite version of test 007. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) I5.3-011 [APPROVED: Med L XXL] Classes can be the object of annotation properties in OWL Lite and DL. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) I5.8-013 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics. | Pass | Pass | Undecided | Pass | Undecided | no data | no data | Pass |
(levels:Lite, Full) I5.8-015 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics. | Pass | Pass | Undecided | Pass | Undecided | no data | no data | Fail |
(levels:Lite, Full) Restriction-004 [APPROVED: Med L XXL] This test shows OWL Lite syntax for using two equivalent restrictions. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) backwardCompatibleWith-001 [APPROVED: Med L XXL] An example of use. | Pass | Pass | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) description-logic-605 [APPROVED: Med L XXL] DL Test: fact4.2 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:Lite, Full) description-logic-606 [APPROVED: Med L XXL] DL Test: t1.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-609 [APPROVED: Med L XXL] DL Test: t10.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:Lite, Full) description-logic-616 [APPROVED: Med L XXL] DL Test: t2.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:Lite, Full) description-logic-624 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:Lite, Full) description-logic-625 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:Lite, Full) description-logic-628 [APPROVED: Med L XXL] DL Test: t7.1 | no data | Pass | Undecided | no data | Pass | Undecided | Pass | Undecided |
(levels:Lite, Full) description-logic-631 [APPROVED: Med L XXL] DL Test: t7f.1 | no data | Pass | Undecided | no data | Pass | Undecided | Pass | Undecided |
(levels:Lite, Full) description-logic-634 [APPROVED: Med L XXL] DL Test: t8.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:Lite, Full) imports-012 [APPROVED: Med L XXL] A simple test for infinite loops in imports processing code. | Pass | Pass | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) miscellaneous-201 [APPROVED: Med L XXL] This test shows how user labels in a variety of languages can be used. Note the use of ruby annotation. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) miscellaneous-202 [APPROVED: Med L XXL] This shows that insignificant whitespace in an rdf:XMLLiteral is not significant within OWL. | Pass | Pass | Undecided | Pass | Undecided | Pass | no data | Pass |
(levels:Lite, Full) miscellaneous-303 [APPROVED: Med L XXL]
dc:creator may be declared as an annotation property. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:Lite) miscellaneous-205 [APPROVED: Med L XXL]
This shows that an OWL consistency checker which does not
support the datatype
rdf:XMLLiteral
should
not detect inconsistencies depending on it.
This file is inconsistent with a datatype map which supports rdf:XMLLiteral ,
but consistent in this test, which excludes such support. | Pass | Pass | Undecided | Pass | Undecided | Pass | no data | Fail |
No results on these tests for: WonderWeb Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 27 tests) | 44% | 92% | 0% | 37% | 96% | 81% | 44% | 74% |
(levels:DL, Full) I5.2-005 [APPROVED: Med L XXL]
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf . | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:DL, Full) I5.8-002 [APPROVED: Med L XXL]
There are 256 different values for xsd:byte . | Pass | Pass | Undecided | Pass | Pass | Undecided | no data | Undecided |
(levels:DL, Full) I5.8-012 [APPROVED: Med L XXL]
There might be only 128 different values of xsd:byte
that are also xsd:unsignedInt ; but this is not
explicit in the datatype map
of this test. (cf. the similar inconsistency test). | Pass | Pass | Undecided | Pass | Pass | Undecided | no data | Undecided |
(levels:DL, Full) description-logic-005 [APPROVED: Med L XXL] DL Test: fact4.2 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:DL, Full) description-logic-006 [APPROVED: Med L XXL] DL Test: t1.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:DL, Full) description-logic-009 [APPROVED: Med L XXL] DL Test: t10.1 | Pass | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:DL, Full) description-logic-016 [APPROVED: Med L XXL] DL Test: t2.1 | Pass | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:DL, Full) description-logic-018 [APPROVED: Med L XXL] DL Test: t3.1 There are 90 possible partitions in the satisfiable case | no data | Pass | Undecided | Pass | Pass | Pass | Pass | Pass |
(levels:DL, Full) description-logic-020 [APPROVED: Med L XXL] DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case | no data | Pass | Undecided | Pass | Pass | Pass | Pass | Pass |
(levels:DL, Full) description-logic-021 [APPROVED: Med L XXL] DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case | no data | Pass | Undecided | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-024 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:DL, Full) description-logic-025 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:DL, Full) description-logic-028 [APPROVED: Med L XXL] DL Test: t7.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-031 [APPROVED: Med L XXL] DL Test: t7f.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-034 [APPROVED: Med L XXL] DL Test: t8.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass |
(levels:DL, Full) description-logic-503 [APPROVED: Med L XXL] This is a different encoding of test 501. | no data | Pass | Undecided | Fail | Pass | Pass | no data | Undecided |
(levels:DL, Full) description-logic-908 [APPROVED: Med L XXL]
This test shows integer multiplication in OWL DL, interacting with infinity. N times infinity is 2 times infinity. M times infinity is 3 times infinity. N times M times infinity is 5 times infinity. | no data | Pass | Undecided | no data | Pass | Pass | no data | Pass |
(levels:DL, Full) disjointWith-003 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass |
(levels:DL, Full) disjointWith-005 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass |
(levels:DL, Full) disjointWith-007 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass |
(levels:DL, Full) disjointWith-009 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass |
(levels:DL, Full) equivalentClass-009 [APPROVED: Med L XXL] A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:DL, Full) miscellaneous-001 [APPROVED: Med L XXL] Wine example taken from the guide. | no data | Undecided | Undecided | no data | Pass | Undecided | no data | Pass |
(levels:DL, Full) miscellaneous-002 [APPROVED: Med L XXL] Food example taken from the guide. | no data | Undecided | Undecided | no data | Pass | Undecided | no data | Pass |
(levels:DL, Full) miscellaneous-102 [APPROVED: Med L XXL] Abstract syntax restrictions with multiple components are in OWL DL. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:DL, Full) miscellaneous-103 [APPROVED: Med L XXL] This description cannot be expressed as a multicomponent restriction in the abstract syntax. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass |
(levels:DL) Thing-004 [APPROVED: Med L XXL] The extension of OWL Thing may be a singleton in OWL DL. | no data | Pass | Fail | Pass | no data | no data | no data | Fail |
No results on these tests for: WonderWeb FOWL OWLP FaCT Surnia
Test | Pellet | Euler | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|
Percent Passing (of 4 tests) | 0% | 0% | 100% | 0% | 0% |
(levels:DL, Full) description-logic-501 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem. | Undecided | Undecided | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-905 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 2. M is 3. N times M is 6. | Undecided | Undecided | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-906 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is 600. | Undecided | Undecided | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-907 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 200. M is 300. N times M is 60000. | no data | Undecided | Pass | Undecided | Undecided |
No results on these tests for: WonderWeb Hoolet FaCT Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor |
---|---|---|---|---|---|---|
Percent Passing (of 24 tests) | 87% | 79% | 0% | 8% | 41% | 95% |
(levels:Full) AnnotationProperty-003 [EXTRACREDIT: Med L XXL] URI references used in annotations don't need to be typed. | no data | Pass | Undecided | Pass | no data | Pass |
(levels:Full) AnnotationProperty-004 [EXTRACREDIT: Med L XXL] AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints. | no data | no data | Undecided | no data | no data | Pass |
(levels:Full) DatatypeProperty-001 [EXTRACREDIT: Med L XXL] DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full. | Undecided | no data | Undecided | no data | Pass | Pass |
(levels:Full) I5.1-010 [EXTRACREDIT: Med L XXL] There are 128 different bytes that are also unsigned integers; and hence also 127. | Pass | no data | Undecided | no data | Undecided | Undecided |
(levels:Full) I5.26-001 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and a type triple. | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.26-002 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) I5.26-003 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between two class descriptions. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) I5.26-004 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and an owl:disjointWith triple. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) I5.26-005 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) I5.26-006 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle. | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.26-007 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle. | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.3-005 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.3-007 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.3-009 [EXTRACREDIT: Med L XXL] The use of blank nodes in OWL DL and OWL Lite is restricted. | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.3-010 [EXTRACREDIT: Med L XXL] Classes cannot be the object of regular properties in OWL DL. | Pass | no data | Undecided | no data | Pass | Pass |
(levels:Full) I5.8-014 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full. | Pass | no data | Undecided | no data | no data | Pass |
(levels:Full) I5.8-016 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full. | Pass | Pass | Undecided | Pass | no data | Pass |
(levels:Full) I6.1-001 [EXTRACREDIT: Med L XXL] The blank nodes in a individual description in OWL DL may not form a directed cycle. | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) Restriction-003 [EXTRACREDIT: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) backwardCompatibleWith-002 [EXTRACREDIT: Med L XXL]
In OWL Lite and DL the subject and object of a triple with predicate owl:backwardCompatibleWith
must both be explicitly typed as owl:Ontology . | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) disjointWith-004 [EXTRACREDIT: Med L XXL] This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) disjointWith-006 [EXTRACREDIT: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) disjointWith-008 [EXTRACREDIT: Med L XXL] A further example that cannot be generated from the mapping rule for DisjointClasses. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) oneOf-001 [EXTRACREDIT: Med L XXL]
oneOf does not indicate that the named
individuals are distinct. Thus a consistent interpretation
of this file is when all the individual names denote the
same individual. | Pass | Pass | Undecided | no data | Undecided | Pass |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 29 tests) | 6% | 100% | 100% | 27% | 65% | 93% | 82% | 62% | 0% |
(levels:Lite, Full) Nothing-001 [APPROVED: Med L XXL]
The triple asserts something of type owl:Nothing , however
that is the empty class. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Pass | no data |
(levels:Lite, Full) Restriction-001 [APPROVED: Med L XXL] This test shows the syntax for using the same restriction twice in OWL Lite. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Undecided | no data |
(levels:Lite, Full) Thing-003 [APPROVED: Med L XXL] The extension of OWL Thing may not be empty. | no data | Pass | Pass | Fail | no data | no data | no data | Fail | no data |
(levels:Lite, Full) description-logic-601 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. | no data | Pass | Pass | Fail | Pass | Pass | no data | Undecided | no data |
(levels:Lite, Full) description-logic-602 [APPROVED: Med L XXL] DL Test: fact2.1 | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-603 [APPROVED: Med L XXL] DL Test: fact3.1 | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-604 [APPROVED: Med L XXL] DL Test: fact4.1 | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-608 [APPROVED: Med L XXL] DL Test: t1.3 | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-610 [APPROVED: Med L XXL] DL Test: t10.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-611 [APPROVED: Med L XXL] DL Test: t10.3 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-612 [APPROVED: Med L XXL] DL Test: t10.4 | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-613 [APPROVED: Med L XXL] DL Test: t10.5 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-614 [APPROVED: Med L XXL] DL Test: t11.1 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-615 [APPROVED: Med L XXL] DL Test: t12.1 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-617 [APPROVED: Med L XXL] DL Test: t2.2 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-623 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-626 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-627 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-629 [APPROVED: Med L XXL] DL Test: t7.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-630 [APPROVED: Med L XXL] DL Test: t7.3 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-632 [APPROVED: Med L XXL] DL Test: t7f.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-633 [APPROVED: Med L XXL] DL Test: t7f.3 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-641 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-642 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-643 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-644 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-646 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | no data | Pass | Pass | Fail | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-650 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions | no data | Pass | Pass | Pass | Pass | Pass | Pass | Undecided | no data |
(levels:Lite, Full) miscellaneous-204 [APPROVED: Med L XXL]
This shows a simple inconsistency depending on the datatype
rdf:XMLLiteral.
This file is inconsistent with a datatype map which supports rdf:XMLLiteral ,
and consistent otherwise. | Undecided | Pass | Pass | Fail | Undecided | Undecided | no data | Pass | no data |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 38 tests) | 2% | 97% | 97% | 26% | 55% | 94% | 86% | 68% | 0% |
(levels:DL, Full) I4.5-002 [APPROVED: Med L XXL] An example combining owl:oneOf and owl:inverseOf. | Undecided | Pass | Pass | no data | Undecided | Pass | no data | Pass | no data |
(levels:DL, Full) description-logic-001 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-002 [APPROVED: Med L XXL] DL Test: fact2.1 | Undecided | Pass | Pass | Fail | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-003 [APPROVED: Med L XXL] DL Test: fact3.1 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-004 [APPROVED: Med L XXL] DL Test: fact4.1 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-007 [APPROVED: Med L XXL] DL Test: t1.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-008 [APPROVED: Med L XXL] DL Test: t1.3 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-010 [APPROVED: Med L XXL] DL Test: t10.2 | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-011 [APPROVED: Med L XXL] DL Test: t10.3 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-012 [APPROVED: Med L XXL] DL Test: t10.4 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-013 [APPROVED: Med L XXL] DL Test: t10.5 | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-014 [APPROVED: Med L XXL] DL Test: t11.1 | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-015 [APPROVED: Med L XXL] DL Test: t12.1 | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-017 [APPROVED: Med L XXL] DL Test: t2.2 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-019 [APPROVED: Med L XXL] DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case | no data | Pass | Pass | Fail | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-022 [APPROVED: Med L XXL] DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case | no data | Pass | Pass | Fail | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-023 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-026 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-027 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-029 [APPROVED: Med L XXL] DL Test: t7.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-030 [APPROVED: Med L XXL] DL Test: t7.3 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-032 [APPROVED: Med L XXL] DL Test: t7f.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-033 [APPROVED: Med L XXL] DL Test: t7f.3 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-035 [APPROVED: Med L XXL] A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2. | no data | Pass | Pass | no data | Undecided | Pass | no data | Undecided | no data |
(levels:DL, Full) description-logic-040 [APPROVED: Med L XXL] This kind of pattern comes up a lot in more complex ontologies. Failure to cope with this kind of pattern is one of the reasons that many reasoners have been unable to cope with such ontologies. | no data | Pass | Pass | Undecided | Pass | no data | no data | Undecided | no data |
(levels:DL, Full) description-logic-101 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-102 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-103 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-104 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-105 [APPROVED: Med L XXL] DL Test: heinsohn2.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | no data | Pass | Pass | Pass | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-106 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | no data | Pass | Pass | Fail | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-107 [APPROVED: Med L XXL] DL Test: heinsohn3.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-108 [APPROVED: Med L XXL] DL Test: heinsohn3.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-109 [APPROVED: Med L XXL] DL Test: heinsohn3c.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | Pass | Pass | Pass | Pass | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-110 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-111 [APPROVED: Med L XXL] DL Test: heinsohn4.2 Tbox tests from [Heinsohn et al.] Tests role restrictions | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-504 [APPROVED: Med L XXL] This is a different encoding of test 502. | no data | Pass | Undecided | Pass | Pass | Pass | no data | Undecided | no data |
(levels:DL, Full) description-logic-909 [APPROVED: Med L XXL]
This test shows integer multiplication in OWL DL. For some finite K, N times K is 2 times K. M times K is 3 times K. N times M times K is not 5 times K. | no data | no data | Pass | no data | no data | Undecided | no data | Pass | no data |
No results on these tests for: WonderWeb OWLP Cerebra Hoolet FaCT
Test | FOWL | Pellet | Euler | ConsVISor | Surnia |
---|---|---|---|---|---|
Percent Passing (of 7 tests) | 57% | 57% | 100% | 57% | 42% |
(levels:Full) I5.5-003 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:rest property. | Pass | Fail | Pass | Undecided | Pass |
(levels:Full) I5.5-004 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:first property. | Pass | Fail | Pass | Pass | Pass |
(levels:Full) Restriction-002 [APPROVED: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | Pass | Pass | Pass | Pass | no data |
(levels:Full) Thing-005 [APPROVED: Med L XXL] The extension of OWL Thing may not be a singleton in OWL Full. | no data | Fail | Pass | Pass | no data |
(levels:Full) disjointWith-010 [APPROVED: Med L XXL]
The owl:disjointWith loop is not in OWL DL.
Classes that are disjoint with themselves are necessarily empty. | Pass | Pass | Pass | Pass | no data |
(levels:Full) maxCardinality-001 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. | Undecided | Pass | Pass | Undecided | Pass |
(levels:Full) maxCardinality-002 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. In this example, one of the three values is implicit. | Undecided | Pass | Pass | Undecided | Undecided |
No results on these tests for: WonderWeb FaCT Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|---|---|
Percent Passing (of 1 tests) | 0% | 100% | 100% | 0% | 0% | 0% | 100% |
(levels:Lite, Full) miscellaneous-203 [EXTRACREDIT: Med L XXL] This shows that initial whitespace in an rdf:XMLLiteral is significant within OWL. | Undecided | Pass | Pass | Fail | Undecided | Undecided | Pass |
No results on these tests for: WonderWeb FOWL FaCT Surnia
Test | Pellet | Euler | OWLP | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|---|
Percent Passing (of 4 tests) | 50% | 75% | 0% | 0% | 0% | 0% |
(levels:DL, Full) I5.8-001 [EXTRACREDIT: Med L XXL]
There are only 256 different values for xsd:byte . | Pass | Pass | Fail | Undecided | Undecided | Undecided |
(levels:DL, Full) I5.8-003 [EXTRACREDIT: Med L XXL]
There are only 128 different values of xsd:byte
that are also xsd:unsignedInt . | Pass | Pass | Fail | Undecided | Undecided | Undecided |
(levels:DL, Full) description-logic-502 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem. | Undecided | Undecided | no data | Undecided | Undecided | Undecided |
(levels:DL, Full) description-logic-910 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is not 601. | Undecided | Pass | no data | no data | Undecided | Undecided |
No results on these tests for: WonderWeb Hoolet FaCT ConsVISor Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra |
---|---|---|---|---|---|
Percent Passing (of 1 tests) | 100% | 100% | 100% | 100% | 100% |
(levels:Lite) imports-011 [APPROVED: Med L XXL] A Lite version of test imports-001. | Pass | Pass | Pass | Pass | Pass |
No results on these tests for: WonderWeb OWLP Cerebra Hoolet FaCT ConsVISor Surnia
Test | FOWL | Pellet | Euler |
---|---|---|---|
Percent Passing (of 2 tests) | 100% | 100% | 100% |
(levels:Full) imports-001 [APPROVED: Med L XXL] If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. | Pass | Pass | Pass |
(levels:Full) imports-003 [APPROVED: Med L XXL] If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. | Pass | Pass | Pass |
No results on these tests for: WonderWeb Euler Hoolet FaCT ConsVISor Surnia
Test | FOWL | Pellet | OWLP | Cerebra |
---|---|---|---|---|
Percent Passing (of 3 tests) | 100% | 100% | 100% | 100% |
(levels:Lite) imports-006 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. | Pass | Pass | Pass | Pass |
(levels:Lite) imports-007 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. | Pass | Pass | Pass | Pass |
(levels:Lite) imports-008 [APPROVED: Med L XXL] It is often possible to import an ordinary RDFS document unchanged into an OWL Lite document. Aditional type declarations may be needed in the importing document. | Pass | Pass | Pass | Pass |
No results on these tests for: WonderWeb Euler Hoolet FaCT ConsVISor Surnia
Test | FOWL | Pellet | OWLP | Cerebra |
---|---|---|---|---|
Percent Passing (of 1 tests) | 100% | 100% | 100% | 100% |
(levels:DL) imports-005 [APPROVED: Med L XXL] If an OWL Lite document imports an OWL DL document then it becomes OWL DL. | Pass | Pass | Pass | Pass |
No results on these tests for: WonderWeb Euler Hoolet FaCT ConsVISor Surnia
Test | FOWL | Pellet | OWLP | Cerebra |
---|---|---|---|---|
Percent Passing (of 3 tests) | 66% | 100% | 100% | 33% |
(levels:Full) imports-004 [APPROVED: Med L XXL] Importing OWL Full documents may change the level of OWL Lite or OWL DL documents. | Pass | Pass | Pass | Pass |
(levels:Full) imports-013 [APPROVED: Med L XXL] An imported ontology must have type owl:Ontology to be in DL. | Pass | Pass | Pass | no data |
(levels:Full) imports-014 [APPROVED: Med L XXL]
When importing a file that uses an xml:base declaration,
if you use a different URL in an owl:imports
triple, that URL may be without an explicit type. | no data | Pass | Pass | no data |
No results on these tests for: FOWL Euler Cerebra Hoolet FaCT ConsVISor Surnia
No results on these tests for: FOWL Euler Cerebra Hoolet FaCT ConsVISor Surnia
No results on these tests for: FOWL Euler Cerebra Hoolet FaCT ConsVISor Surnia
No results on these tests for: FOWL Euler Cerebra Hoolet FaCT ConsVISor Surnia
Test | WonderWeb | Pellet | OWLP |
---|---|---|---|
Percent Passing (of 5 tests) | 100% | 100% | 100% |
Syntactic Level Test for I5.8-006 | Pass | Pass | Pass |
Syntactic Level Test for I5.8-008 | Pass | Pass | Pass |
Syntactic Level Test for I5.8-009 | Pass | Pass | Pass |
Syntactic Level Test for I5.8-010 | Pass | Pass | Pass |
Syntactic Level Test for miscellaneous-203 | Pass | Pass | Pass |
No results on these tests for: FOWL Euler Cerebra Hoolet FaCT ConsVISor Surnia
Test | WonderWeb | Pellet | OWLP |
---|---|---|---|
Percent Passing (of 9 tests) | 100% | 100% | 100% |
Syntactic Level Test for I5.8-001 | Pass | Pass | Pass |
Syntactic Level Test for I5.8-003 | Pass | Pass | Pass |
Syntactic Level Test for I5.8-004 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-501 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-502 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-905 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-906 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-907 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-910 | Pass | Pass | Pass |
No results on these tests for: FOWL Euler Cerebra Hoolet FaCT ConsVISor Surnia
Test | WonderWeb | Pellet | OWLP |
---|---|---|---|
Percent Passing (of 34 tests) | 100% | 100% | 97% |
Syntactic Level Test for AnnotationProperty-003 | Pass | Pass | Pass |
Syntactic Level Test for AnnotationProperty-004 | Pass | Pass | Pass |
Syntactic Level Test for Class-004 | Pass | Pass | Pass |
Syntactic Level Test for DatatypeProperty-001 | Pass | Pass | Pass |
Syntactic Level Test for I4.6-004 | Pass | Pass | Pass |
Syntactic Level Test for I5.1-010 | Pass | Pass | Pass |
Syntactic Level Test for I5.26-001 | Pass | Pass | Pass |
Syntactic Level Test for I5.26-002 | Pass | Pass | Pass |
Syntactic Level Test for I5.26-003 | Pass | Pass | Pass |
Syntactic Level Test for I5.26-004 | Pass | Pass | Pass |
Syntactic Level Test for I5.26-005 | Pass | Pass | Pass |
Syntactic Level Test for I5.26-006 | Pass | Pass | Pass |
Syntactic Level Test for I5.26-007 | Pass | Pass | Pass |
Syntactic Level Test for I5.3-005 | Pass | Pass | Pass |
Syntactic Level Test for I5.3-007 | Pass | Pass | Pass |
Syntactic Level Test for I5.3-009 | Pass | Pass | Pass |
Syntactic Level Test for I5.3-010 | Pass | Pass | Pass |
Syntactic Level Test for I5.5-006 | Pass | Pass | Pass |
Syntactic Level Test for I5.5-007 | Pass | Pass | Pass |
Syntactic Level Test for I5.8-014 | Pass | Pass | Pass |
Syntactic Level Test for I5.8-016 | Pass | Pass | Fail |
Syntactic Level Test for I6.1-001 | Pass | Pass | Pass |
Syntactic Level Test for Restriction-003 | Pass | Pass | Pass |
Syntactic Level Test for backwardCompatibleWith-002 | Pass | Pass | Pass |
Syntactic Level Test for disjointWith-004 | Pass | Pass | Pass |
Syntactic Level Test for disjointWith-006 | Pass | Pass | Pass |
Syntactic Level Test for disjointWith-008 | Pass | Pass | Pass |
Syntactic Level Test for extra-credit-002 | Pass | Pass | Pass |
Syntactic Level Test for extra-credit-003 | Pass | Pass | Pass |
Syntactic Level Test for extra-credit-004 | Pass | Pass | Pass |
Syntactic Level Test for imports-002 | Pass | Pass | Pass |
Syntactic Level Test for miscellaneous-301 | Pass | Pass | Pass |
Syntactic Level Test for oneOf-001 | Pass | Pass | Pass |
Syntactic Level Test for someValuesFrom-002 | Pass | Pass | Pass |
Approved | Proposed | Extra Credit | |||||||
---|---|---|---|---|---|---|---|---|---|
Lite | DL | Full | Lite | DL | Full | Lite | DL | Full | |
Tests With 0 Passes | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
Tests With 1 Pass | 0 | 3 | 5 | 0 | 0 | 0 | 0 | 5 | 8 |
Tests With 2 Passes | 9 | 10 | 13 | 0 | 0 | 0 | 0 | 3 | 7 |
Tests With 3 Passes | 107 | 115 | 78 | 0 | 0 | 0 | 10 | 9 | 44 |
Tests With 4 Passes | 11 | 19 | 18 | 0 | 0 | 0 | 0 | 0 | 9 |
Tests With 5 Passes | 37 | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Tests With 6 Passes | 24 | 22 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Tests With 7 Passes | 10 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
No results on these tests for: WonderWeb FOWL OWLP FaCT Surnia
Test | Pellet | Euler | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|
Percent Passing (of 1 tests) | 0% | 0% | 0% | 0% | 0% |
(levels:DL, Full) description-logic-502 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem. | Undecided | Undecided | Undecided | Undecided | Undecided |
No results on these tests for: WonderWeb FOWL Cerebra Hoolet FaCT ConsVISor Surnia
Test | Pellet | Euler | OWLP |
---|---|---|---|
Percent Passing (of 3 tests) | 33% | 66% | 0% |
(levels:DL, Full) description-logic-209 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. (Modified in light of implementation feedback, see test description-logic-208). | Pass | Undecided | Undecided |
(levels:DL, Full) miscellaneous-010 [APPROVED: Med L XXL] Which wine goes well with which food. | Undecided | Pass | no data |
(levels:DL, Full) miscellaneous-011 [APPROVED: Med L XXL] Which wine hasSugar OffDry. | Undecided | Pass | no data |
No results on these tests for: WonderWeb Pellet OWLP Cerebra Hoolet FaCT ConsVISor
Test | FOWL | Euler | Surnia |
---|---|---|---|
Percent Passing (of 5 tests) | 0% | 100% | 0% |
(levels:Full) I4.6-003 [APPROVED: Med L XXL]
owl:sameAs is stronger than owl:equivalentClass . | Undecided | Pass | Undecided |
(levels:Full) I5.1-001 [APPROVED: Med L XXL] stateCode example using an inverseFunctionalProperty and literals | no data | Pass | Undecided |
(levels:Full) I5.3-014 [APPROVED: Med L XXL] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | Undecided | Pass | no data |
(levels:Full) I5.3-015 [APPROVED: Med L XXL] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | Undecided | Pass | no data |
(levels:Full) I5.8-017 [APPROVED: Med L XXL] This explores aliases of builtin datatypes. | no data | Pass | no data |
No results on these tests for: WonderWeb FOWL OWLP FaCT Surnia
Test | Pellet | Euler | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|
Percent Passing (of 5 tests) | 0% | 20% | 80% | 0% | 0% |
(levels:DL, Full) description-logic-501 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem. | Undecided | Undecided | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-905 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 2. M is 3. N times M is 6. | Undecided | Undecided | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-906 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is 600. | Undecided | Undecided | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-907 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 200. M is 300. N times M is 60000. | no data | Undecided | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-910 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is not 601. | Undecided | Pass | no data | Undecided | Undecided |
No results on these tests for: WonderWeb Pellet OWLP Hoolet FaCT Surnia
Test | FOWL | Euler | Cerebra | ConsVISor |
---|---|---|---|---|
Percent Passing (of 8 tests) | 50% | 37% | 0% | 12% |
(levels:Full) AnnotationProperty-004 [EXTRACREDIT: Med L XXL] AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints. | no data | Undecided | no data | Pass |
(levels:Full) Class-004 [EXTRACREDIT: Med L XXL] Annotations about owl:Class are not related to those about rdfs:Class. | Pass | Undecided | no data | no data |
(levels:Full) I4.6-004 [EXTRACREDIT: Med L XXL]
owl:sameAs is stronger than owl:equivalentClass . | Pass | Undecided | no data | no data |
(levels:Full) I5.1-010 [EXTRACREDIT: Med L XXL] There are 128 different bytes that are also unsigned integers; and hence also 127. | Pass | Undecided | Undecided | Undecided |
(levels:Full) I5.5-007 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists. | Pass | Fail | no data | no data |
(levels:Full) extra-credit-002 [EXTRACREDIT: Med L XXL] This test shows a relationship between integer multiplication and OWL Full. | no data | Pass | no data | no data |
(levels:Full) extra-credit-003 [EXTRACREDIT: Med L XXL] Prime factorization can be expressed in OWL Full. | Undecided | Pass | no data | no data |
(levels:Full) extra-credit-004 [EXTRACREDIT: Med L XXL] A more difficult prime factorization example. | Undecided | Pass | no data | no data |
No results on these tests for: WonderWeb FaCT Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|---|---|
Percent Passing (of 9 tests) | 44% | 22% | 55% | 33% | 0% | 44% | 0% |
(levels:Lite, Full) I4.6-005 [APPROVED: Med L XXL]
owl:equivalentClass is not related to annotations on classes. | Pass | no data | Undecided | Pass | Undecided | no data | no data |
(levels:Lite, Full) I5.8-007 [APPROVED: Med L XXL]
-1 is an xsd:short
that is not an
xsd:unsignedByte . | Pass | Pass | Undecided | Fail | Undecided | no data | no data |
(levels:Lite, Full) Thing-003 [APPROVED: Med L XXL] The extension of OWL Thing may not be empty. | no data | Pass | Pass | Fail | no data | no data | Fail |
(levels:Lite, Full) description-logic-661 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data |
(levels:Lite, Full) description-logic-662 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data |
(levels:Lite, Full) description-logic-663 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data |
(levels:Lite, Full) description-logic-664 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data |
(levels:Lite, Full) miscellaneous-302 [APPROVED: Med L XXL] Annotations participate a little in the semantics. | Pass | no data | Undecided | Pass | no data | no data | no data |
(levels:Lite) AnnotationProperty-001 [APPROVED: Med L XXL] The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations. | Pass | no data | Fail | Pass | Undecided | no data | no data |
No results on these tests for: WonderWeb Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 10 tests) | 10% | 50% | 60% | 20% | 20% | 0% | 10% | 30% |
(levels:DL, Full) SymmetricProperty-002 [APPROVED: Med L XXL]
Test illustrating extensional semantics of owl:SymmetricProperty . | Undecided | Pass | Pass | no data | Undecided | no data | no data | no data |
(levels:DL, Full) TransitiveProperty-002 [APPROVED: Med L XXL]
Test illustrating extensional semantics of owl:TransitiveProperty . | Undecided | Pass | Pass | no data | Undecided | no data | no data | no data |
(levels:DL, Full) description-logic-208 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Undecided | Undecided | no data | no data |
(levels:DL, Full) description-logic-903 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 200, 300 and 500. | no data | Undecided | Pass | no data | Undecided | Undecided | Pass | no data |
(levels:DL, Full) description-logic-909 [APPROVED: Med L XXL]
This test shows integer multiplication in OWL DL. For some finite K, N times K is 2 times K. M times K is 3 times K. N times M times K is not 5 times K. | no data | no data | Pass | no data | no data | Undecided | no data | Pass |
(levels:DL, Full) equivalentClass-008 [APPROVED: Med L XXL] Annotation properties refer to a class instance. equivalentClass refers to the class extension. | Pass | no data | Undecided | Pass | Undecided | no data | no data | no data |
(levels:DL, Full) miscellaneous-001 [APPROVED: Med L XXL] Wine example taken from the guide. | no data | Undecided | Undecided | no data | Pass | Undecided | no data | Pass |
(levels:DL, Full) miscellaneous-002 [APPROVED: Med L XXL] Food example taken from the guide. | no data | Undecided | Undecided | no data | Pass | Undecided | no data | Pass |
(levels:DL, Full) oneOf-004 [APPROVED: Med L XXL] This test illustrates the use of dataRange in OWL DL. This test combines some of the ugliest features of XML, RDF and OWL. | Undecided | Pass | Pass | Fail | Undecided | Undecided | no data | no data |
(levels:DL) Thing-004 [APPROVED: Med L XXL] The extension of OWL Thing may be a singleton in OWL DL. | no data | Pass | Fail | Pass | no data | no data | no data | Fail |
No results on these tests for: WonderWeb Hoolet FaCT
Test | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|
Percent Passing (of 13 tests) | 7% | 76% | 92% | 7% | 7% | 7% | 0% |
(levels:Full) AnnotationProperty-002 [APPROVED: Med L XXL] Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment. | Undecided | no data | Pass | Fail | Pass | no data | no data |
(levels:Full) Class-006 [APPROVED: Med L XXL]
This test shows a correct application of OWL Full comprehension rules.
It also shows that use of rdfs:Class instead of owl:Class
may make a file fall outside OWL DL. | Undecided | Pass | Pass | no data | no data | no data | no data |
(levels:Full) I5.24-001 [APPROVED: Med L XXL] This entailment is similar to one that does not hold in RDFS. | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) I5.24-002 [APPROVED: Med L XXL] OWL, unlike RDFS, uses iff semantics for range. | Undecided | Pass | Pass | no data | no data | no data | no data |
(levels:Full) Restriction-006 [APPROVED: Med L XXL]
This test shows a correct application of OWL Full comprehension rules.
It also shows that optional type triples on an owl:Restriction
do not replace the obligatory ones. | Undecided | Pass | Pass | no data | no data | no data | no data |
(levels:Full) Thing-005 [APPROVED: Med L XXL] The extension of OWL Thing may not be a singleton in OWL Full. | no data | Fail | Pass | no data | no data | Pass | no data |
(levels:Full) cardinality-006 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | Pass | Pass | no data | no data | no data | no data |
(levels:Full) equivalentProperty-005 [APPROVED: Med L XXL]
If p and q have the same property extension then p owl:equivalentProperty q . | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) imports-014 [APPROVED: Med L XXL]
When importing a file that uses an xml:base declaration,
if you use a different URL in an owl:imports
triple, that URL may be without an explicit type. | no data | Pass | no data | Pass | no data | no data | no data |
(levels:Full) intersectionOf-001 [APPROVED: Med L XXL]
The order of the classes in an intersectionOf
construct is unimportant. | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) maxCardinality-002 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. In this example, one of the three values is implicit. | Undecided | Pass | Pass | no data | no data | Undecided | Undecided |
(levels:Full) sameAs-001 [APPROVED: Med L XXL] Annotation properties refer to a class instance. sameAs, in OWL Full, also refers to the class instance. | Pass | no data | Pass | no data | no data | no data | no data |
(levels:Full) someValuesFrom-001 [APPROVED: Med L XXL] A simple example. | Undecided | Pass | Pass | no data | no data | no data | no data |
No results on these tests for: WonderWeb FaCT Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|---|---|
Percent Passing (of 3 tests) | 0% | 100% | 100% | 0% | 0% | 0% | 0% |
(levels:DL, Full) I5.8-001 [EXTRACREDIT: Med L XXL]
There are only 256 different values for xsd:byte . | no data | Pass | Pass | Fail | Undecided | Undecided | Undecided |
(levels:DL, Full) I5.8-003 [EXTRACREDIT: Med L XXL]
There are only 128 different values of xsd:byte
that are also xsd:unsignedInt . | no data | Pass | Pass | Fail | Undecided | Undecided | Undecided |
(levels:DL, Full) I5.8-004 [EXTRACREDIT: Med L XXL]
There are precisely 128 different values of xsd:byte
that are also xsd:unsignedInt . | Undecided | Pass | Pass | Fail | Undecided | Undecided | no data |
No results on these tests for: Hoolet FaCT
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 7 tests) | 14% | 71% | 71% | 0% | 0% | 14% | 28% | 0% |
(levels:Full) DatatypeProperty-001 [EXTRACREDIT: Med L XXL] DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full. | no data | Undecided | no data | Undecided | no data | Pass | Pass | no data |
(levels:Full) I5.5-006 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists. | no data | Pass | Pass | Undecided | no data | no data | no data | no data |
(levels:Full) I5.8-014 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full. | no data | Pass | no data | Undecided | no data | no data | Pass | no data |
(levels:Full) imports-002 [EXTRACREDIT: Med L XXL] If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. | no data | Pass | Pass | Undecided | no data | no data | no data | Undecided |
(levels:Full) miscellaneous-301 [EXTRACREDIT: Med L XXL] Annotations participate a little in the semantics. | no data | Pass | Pass | Undecided | no data | no data | no data | no data |
(levels:Full) someValuesFrom-002 [EXTRACREDIT: Med L XXL]
A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom . | no data | Pass | Pass | Undecided | no data | no data | no data | Undecided |
Syntactic Level Test for I5.8-016 | Pass | no data | Pass | no data | Fail | no data | no data | no data |
No results on these tests for: Surnia
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 107 tests) | 92% | 3% | 99% | 2% | 97% | 1% | 0% | 1% | 0% |
(levels:Lite, Full) I5.8-011 [APPROVED: Med L XXL]
The empty graph entails that xsd:integer and xsd:string
are a rdfs:Datatype | no data | Pass | no data | Pass | Pass | Undecided | no data | no data | no data |
(levels:Lite, Full) I5.8-015 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics. | no data | Pass | Pass | Undecided | Pass | Undecided | no data | no data | Fail |
(levels:Lite, Full) Ontology-003 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triple only in the conclusions. | no data | Pass | Pass | Undecided | Pass | no data | no data | no data | no data |
(levels:Lite, Full) Restriction-005 [APPROVED: Med L XXL]
This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Restriction . | no data | Pass | Pass | Undecided | Pass | Undecided | no data | no data | no data |
(levels:Lite, Full) description-logic-628 [APPROVED: Med L XXL] DL Test: t7.1 | no data | no data | Pass | Undecided | no data | Pass | Undecided | Pass | Undecided |
(levels:Lite, Full) description-logic-631 [APPROVED: Med L XXL] DL Test: t7f.1 | no data | no data | Pass | Undecided | no data | Pass | Undecided | Pass | Undecided |
(levels:Lite, Full) miscellaneous-204 [APPROVED: Med L XXL]
This shows a simple inconsistency depending on the datatype
rdf:XMLLiteral.
This file is inconsistent with a datatype map which supports rdf:XMLLiteral ,
and consistent otherwise. | no data | Undecided | Pass | Pass | Fail | Undecided | Undecided | no data | Pass |
(levels:Lite, Full) someValuesFrom-003 [APPROVED: Med L XXL] A simple infinite loop for implementors to avoid. | no data | no data | Pass | Pass | Pass | no data | no data | no data | no data |
Syntactic Level Test for AnnotationProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I3.2-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I3.2-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I3.2-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I3.4-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I4.1-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I4.6-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I4.6-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I4.6-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I4.6-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.2-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.2-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.2-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.2-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.2-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.21-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.24-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.24-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.3-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.3-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.3-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.8-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.8-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.8-013 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for I5.8-015 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for Nothing-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for Ontology-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for Ontology-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for Ontology-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for Restriction-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for Restriction-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for Restriction-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for SymmetricProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for Thing-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for allValuesFrom-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for allValuesFrom-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for backwardCompatibleWith-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for cardinality-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for cardinality-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-601 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-602 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-603 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-604 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-605 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-606 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-608 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-609 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-610 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-611 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-612 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-613 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-614 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-615 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-616 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-617 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-623 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-624 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-625 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-626 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-627 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-628 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-629 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-630 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-631 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-632 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-633 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-634 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-641 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-642 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-643 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-644 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-646 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-650 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-661 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-662 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-663 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-664 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-665 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for description-logic-667 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for equivalentProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for equivalentProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for equivalentProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for imports-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for imports-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for imports-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for imports-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for imports-012 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-201 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-202 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-204 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-205 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-302 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-303 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Syntactic Level Test for someValuesFrom-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data |
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 115 tests) | 88% | 4% | 99% | 6% | 93% | 2% | 2% | 1% | 0% | 0% |
(levels:DL, Full) Class-005 [APPROVED: Med L XXL]
This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Class . | no data | Pass | Pass | Undecided | Pass | Undecided | no data | no data | no data | no data |
(levels:DL, Full) I5.21-002 [APPROVED: Med L XXL] The construct used here shows how to express mutual disjointness between classes with O(N) triples. | no data | Undecided | Pass | Pass | Fail | Pass | Undecided | no data | no data | no data |
(levels:DL, Full) I5.26-009 [APPROVED: Med L XXL]
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p )This is trivially true given that first:p is an individualvaluedPropertyID . | no data | no data | Pass | Pass | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) I5.26-010 [APPROVED: Med L XXL]
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p )This is trivially true given that first:p is an individualvaluedPropertyID . | no data | no data | Pass | Pass | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) I5.5-005 [APPROVED: Med L XXL] This test exhibits the effect of the comprehension principles in OWL Full. | no data | no data | Pass | Pass | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) I5.8-005 [APPROVED: Med L XXL]
There are 128 different values of xsd:byte
that are also xsd:unsignedInt . | no data | Pass | Pass | Undecided | Pass | Undecided | no data | no data | no data | no data |
(levels:DL, Full) Nothing-002 [APPROVED: Med L XXL]
An empty owl:Class has the same class extension as owl:Nothing . | no data | Pass | no data | Pass | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) description-logic-035 [APPROVED: Med L XXL] A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2. | no data | no data | Pass | Pass | no data | Undecided | Pass | no data | Undecided | no data |
(levels:DL, Full) description-logic-040 [APPROVED: Med L XXL] This kind of pattern comes up a lot in more complex ontologies. Failure to cope with this kind of pattern is one of the reasons that many reasoners have been unable to cope with such ontologies. | no data | no data | Pass | Pass | Undecided | Pass | no data | no data | Undecided | no data |
(levels:DL, Full) description-logic-503 [APPROVED: Med L XXL] This is a different encoding of test 501. | no data | no data | Pass | Undecided | Fail | Pass | Pass | no data | Undecided | no data |
(levels:DL, Full) description-logic-902 [APPROVED: Med L XXL] This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 2, 3 and 6. | no data | Pass | Pass | Undecided | no data | Undecided | no data | Pass | no data | Undecided |
(levels:DL, Full) description-logic-904 [APPROVED: Med L XXL] This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 200, 300 and 600. | no data | Pass | Pass | Undecided | no data | Undecided | no data | Pass | no data | no data |
(levels:DL, Full) equivalentProperty-004 [APPROVED: Med L XXL]
If p and q have the same property extension then p equivalentProperty q . | no data | Undecided | Pass | Pass | no data | no data | Pass | no data | no data | Undecided |
Syntactic Level Test for Class-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I4.5-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I4.5-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.21-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.26-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.26-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.5-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-012 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Nothing-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for SymmetricProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Thing-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for TransitiveProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for cardinality-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for cardinality-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-012 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-013 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-014 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-015 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-016 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-017 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-018 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-019 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-020 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-021 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-022 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-023 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-024 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-025 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-026 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-027 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-028 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-029 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-030 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-031 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-032 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-033 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-034 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-035 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-040 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-101 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-102 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-103 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-104 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-105 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-106 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-107 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-108 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-109 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-110 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-111 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-201 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-202 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-203 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-204 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-205 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-206 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-207 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-208 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-209 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-503 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-504 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-901 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-902 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-903 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-904 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-908 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-909 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentProperty-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for imports-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-102 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-103 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for oneOf-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for unionOf-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for unionOf-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
No results on these tests for: Hoolet FaCT
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 78 tests) | 73% | 16% | 93% | 25% | 74% | 7% | 0% | 8% |
(levels:Full) Class-001 [APPROVED: Med L XXL] In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class. | no data | Pass | no data | Pass | no data | Pass | no data | no data |
(levels:Full) FunctionalProperty-004 [APPROVED: Med L XXL]
If the range of prop is a singleton set then it is necessarily functional, (i.e. every member of its domain
has a single value) and so it is an owl:FunctionalProperty . | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) FunctionalProperty-005 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty
then an OWL individual has at most one value for prop. | no data | Undecided | Pass | Pass | no data | Pass | no data | no data |
(levels:Full) I5.5-001 [APPROVED: Med L XXL] rdf:first is a FunctionalProperty. | no data | Pass | no data | Pass | no data | Pass | no data | no data |
(levels:Full) I5.5-002 [APPROVED: Med L XXL] rdf:rest is a FunctionalProperty. | no data | Pass | no data | Pass | no data | Pass | no data | no data |
(levels:Full) I5.5-003 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:rest property. | no data | Pass | Fail | Pass | no data | no data | Undecided | Pass |
(levels:Full) InverseFunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty ,
and object denotes a resource
which is the object of two prop triples, then the subject s
of these triples have the same denotation. | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty ,
and object denotes a resource
which is the object of two prop triples, then the subject s
of these triples have the same denotation. Hence any assertion made
using one of them can be transferred to the other. | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:InverseFunctionalProperty ,
then its inverse is an owl:FunctionalProperty . | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-004 [APPROVED: Med L XXL]
If the domain of prop is a singleton set then it is necessarily inverse functional, (i.e. every member of its
range is the value of a single item) so it is an
owl:InverseFunctionalProperty . | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) complementOf-001 [APPROVED: Med L XXL]
complementOf is a SymmetricProperty .
| no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) differentFrom-002 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) disjointWith-002 [APPROVED: Med L XXL] Disjoint classes have different members. | no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) distinctMembers-001 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) equivalentClass-007 [APPROVED: Med L XXL] De Morgan's law. | no data | Undecided | Pass | Pass | no data | Pass | no data | no data |
(levels:Full) imports-001 [APPROVED: Med L XXL] If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:Full) imports-003 [APPROVED: Med L XXL] If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:Full) imports-010 [APPROVED: Med L XXL] This test specifies the domain and range for owl:imports. | no data | Pass | no data | Pass | no data | Pass | no data | no data |
(levels:Full) imports-013 [APPROVED: Med L XXL] An imported ontology must have type owl:Ontology to be in DL. | no data | Pass | Pass | no data | Pass | no data | no data | no data |
(levels:Full) maxCardinality-001 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. | no data | Undecided | Pass | Pass | no data | no data | Undecided | Pass |
(levels:Full) unionOf-002 [APPROVED: Med L XXL] A union behaves quite like set theoretic union. | no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
Syntactic Level Test for AllDifferent-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for AnnotationProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Class-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Class-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Class-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Class-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I4.6-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.1-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.24-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.24-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.3-014 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.3-015 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.8-017 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for InverseFunctionalProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for InverseFunctionalProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for InverseFunctionalProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for InverseFunctionalProperty-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Restriction-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Restriction-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for SymmetricProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Thing-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for TransitiveProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for cardinality-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for complementOf-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for differentFrom-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for differentFrom-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for disjointWith-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for disjointWith-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for distinctMembers-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for equivalentClass-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for equivalentProperty-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for equivalentProperty-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-013 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-014 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for intersectionOf-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for inverseOf-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for maxCardinality-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for maxCardinality-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for oneOf-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for oneOf-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for sameAs-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for someValuesFrom-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for unionOf-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for unionOf-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
No results on these tests for: FaCT Surnia
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 10 tests) | 50% | 0% | 100% | 50% | 80% | 10% | 0% | 10% |
(levels:Lite, Full) I5.8-006 [EXTRACREDIT: Med L XXL]
All xsd:byte
are xsd:short . | no data | Undecided | Pass | Pass | Pass | Undecided | Undecided | no data |
(levels:Lite, Full) I5.8-008 [EXTRACREDIT: Med L XXL]
-1 is an xsd:short that is not an
xsd:unsignedShort ;
100000 is an xsd:unsignedInt that is not
an xsd:unsignedShort ; but there are no
xsd:unsignedShort which are neither
xsd:short nor
xsd:unsignedInt | no data | Undecided | Pass | Pass | Pass | Undecided | Undecided | no data |
(levels:Lite, Full) I5.8-009 [EXTRACREDIT: Med L XXL]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger . 0 is an
xsd:short . | no data | Undecided | Pass | Pass | Pass | Undecided | Undecided | no data |
(levels:Lite, Full) I5.8-010 [EXTRACREDIT: Med L XXL]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger . | no data | Undecided | Pass | Pass | Fail | Pass | Undecided | no data |
(levels:Lite, Full) miscellaneous-203 [EXTRACREDIT: Med L XXL] This shows that initial whitespace in an rdf:XMLLiteral is significant within OWL. | no data | Undecided | Pass | Pass | Fail | Undecided | Undecided | Pass |
Syntactic Level Test for I5.8-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.8-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.8-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.8-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for miscellaneous-203 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
No results on these tests for: FOWL Euler Cerebra Hoolet FaCT ConsVISor Surnia
Test | WonderWeb | Pellet | OWLP |
---|---|---|---|
Percent Passing (of 9 tests) | 100% | 100% | 100% |
Syntactic Level Test for I5.8-001 | Pass | Pass | Pass |
Syntactic Level Test for I5.8-003 | Pass | Pass | Pass |
Syntactic Level Test for I5.8-004 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-501 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-502 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-905 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-906 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-907 | Pass | Pass | Pass |
Syntactic Level Test for description-logic-910 | Pass | Pass | Pass |
No results on these tests for: Hoolet FaCT Surnia
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor |
---|---|---|---|---|---|---|---|
Percent Passing (of 44 tests) | 75% | 22% | 97% | 0% | 77% | 2% | 25% |
(levels:Full) AnnotationProperty-003 [EXTRACREDIT: Med L XXL] URI references used in annotations don't need to be typed. | no data | no data | Pass | Undecided | Pass | no data | Pass |
(levels:Full) I5.26-001 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and a type triple. | no data | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.26-006 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle. | no data | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.26-007 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle. | no data | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.3-005 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. | no data | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.3-007 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. | no data | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.3-009 [EXTRACREDIT: Med L XXL] The use of blank nodes in OWL DL and OWL Lite is restricted. | no data | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) I5.3-010 [EXTRACREDIT: Med L XXL] Classes cannot be the object of regular properties in OWL DL. | no data | Pass | no data | Undecided | no data | Pass | Pass |
(levels:Full) I6.1-001 [EXTRACREDIT: Med L XXL] The blank nodes in a individual description in OWL DL may not form a directed cycle. | no data | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) backwardCompatibleWith-002 [EXTRACREDIT: Med L XXL]
In OWL Lite and DL the subject and object of a triple with predicate owl:backwardCompatibleWith
must both be explicitly typed as owl:Ontology . | no data | Pass | Pass | Undecided | no data | no data | Pass |
(levels:Full) oneOf-001 [EXTRACREDIT: Med L XXL]
oneOf does not indicate that the named
individuals are distinct. Thus a consistent interpretation
of this file is when all the individual names denote the
same individual. | no data | Pass | Pass | Undecided | no data | Undecided | Pass |
Syntactic Level Test for AnnotationProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for AnnotationProperty-004 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for Class-004 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for DatatypeProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I4.6-004 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.1-010 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.26-001 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.26-002 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.26-003 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.26-004 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.26-005 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.26-006 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.26-007 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.3-005 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.3-007 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.3-009 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.3-010 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.5-006 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.5-007 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.8-014 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I6.1-001 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for Restriction-003 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for backwardCompatibleWith-002 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for disjointWith-004 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for disjointWith-006 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for disjointWith-008 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for extra-credit-002 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for extra-credit-003 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for extra-credit-004 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for imports-002 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for miscellaneous-301 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for oneOf-001 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for someValuesFrom-002 | Pass | no data | Pass | no data | Pass | no data | no data |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 11 tests) | 72% | 100% | 27% | 63% | 72% | 36% | 18% | 9% | 0% |
(levels:Lite, Full) I5.8-013 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics. | Pass | Pass | Undecided | Pass | Undecided | no data | no data | Pass | no data |
(levels:Lite, Full) SymmetricProperty-003 [APPROVED: Med L XXL] A Lite version of test 001. | Pass | Pass | Pass | no data | Pass | no data | no data | no data | no data |
(levels:Lite, Full) allValuesFrom-002 [APPROVED: Med L XXL]
Another simple example; contrast with owl:someValuesFrom . | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Lite, Full) description-logic-601 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. | no data | Pass | Pass | Fail | Pass | Pass | no data | Undecided | no data |
(levels:Lite, Full) description-logic-606 [APPROVED: Med L XXL] DL Test: t1.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Undecided | no data |
(levels:Lite, Full) description-logic-623 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) equivalentClass-005 [APPROVED: Med L XXL] Two classes with the same partial description are not equivalent. | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Lite) imports-006 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. | Pass | Pass | no data | Pass | Pass | no data | no data | no data | no data |
(levels:Lite) imports-007 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. | Pass | Pass | no data | Pass | Pass | no data | no data | no data | no data |
(levels:Lite) imports-008 [APPROVED: Med L XXL] It is often possible to import an ordinary RDFS document unchanged into an OWL Lite document. Aditional type declarations may be needed in the importing document. | Pass | Pass | no data | Pass | Pass | no data | no data | no data | no data |
(levels:Lite) miscellaneous-205 [APPROVED: Med L XXL]
This shows that an OWL consistency checker which does not
support the datatype
rdf:XMLLiteral
should
not detect inconsistencies depending on it.
This file is inconsistent with a datatype map which supports rdf:XMLLiteral ,
but consistent in this test, which excludes such support. | Pass | Pass | Undecided | Pass | Undecided | Pass | no data | Fail | no data |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 19 tests) | 15% | 100% | 63% | 26% | 63% | 84% | 36% | 10% | 0% |
(levels:DL, Full) I4.5-001 [APPROVED: Med L XXL] An example combinging owl:oneOf and owl:inverseOf. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | no data |
(levels:DL, Full) I4.5-002 [APPROVED: Med L XXL] An example combining owl:oneOf and owl:inverseOf. | Undecided | Pass | Pass | no data | Undecided | Pass | no data | Pass | no data |
(levels:DL, Full) I5.8-002 [APPROVED: Med L XXL]
There are 256 different values for xsd:byte . | Pass | Pass | Undecided | Pass | Pass | Undecided | no data | Undecided | no data |
(levels:DL, Full) I5.8-012 [APPROVED: Med L XXL]
There might be only 128 different values of xsd:byte
that are also xsd:unsignedInt ; but this is not
explicit in the datatype map
of this test. (cf. the similar inconsistency test). | Pass | Pass | Undecided | Pass | Pass | Undecided | no data | Undecided | no data |
(levels:DL, Full) cardinality-004 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | Pass | Pass | Pass | Undecided | Pass | no data | no data | Undecided |
(levels:DL, Full) description-logic-007 [APPROVED: Med L XXL] DL Test: t1.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-019 [APPROVED: Med L XXL] DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case | no data | Pass | Pass | Fail | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-022 [APPROVED: Med L XXL] DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case | no data | Pass | Pass | Fail | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-023 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-028 [APPROVED: Med L XXL] DL Test: t7.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Undecided | no data |
(levels:DL, Full) description-logic-031 [APPROVED: Med L XXL] DL Test: t7f.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Undecided | no data |
(levels:DL, Full) description-logic-202 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-203 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-204 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-206 [APPROVED: Med L XXL] DL Test: k_path ABox test from DL98 systems comparison. | Undecided | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-504 [APPROVED: Med L XXL] This is a different encoding of test 502. | no data | Pass | Undecided | Pass | Pass | Pass | no data | Undecided | no data |
(levels:DL, Full) description-logic-901 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 2, 3 and 5. | no data | Pass | Pass | no data | Undecided | Pass | Pass | no data | Undecided |
(levels:DL, Full) description-logic-908 [APPROVED: Med L XXL]
This test shows integer multiplication in OWL DL, interacting with infinity. N times infinity is 2 times infinity. M times infinity is 3 times infinity. N times M times infinity is 5 times infinity. | no data | Pass | Undecided | no data | Pass | Pass | no data | Pass | no data |
(levels:DL) imports-005 [APPROVED: Med L XXL] If an OWL Lite document imports an OWL DL document then it becomes OWL DL. | Pass | Pass | no data | Pass | Pass | no data | no data | no data | no data |
No results on these tests for: WonderWeb Hoolet FaCT
Test | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|
Percent Passing (of 18 tests) | 100% | 94% | 94% | 5% | 16% | 16% | 72% |
(levels:Full) AllDifferent-001 [APPROVED: Med L XXL]
using AllDifferent to derive differentFrom | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) Class-002 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | Pass | Pass | Pass | no data | Pass | no data | no data |
(levels:Full) Class-003 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | Pass | Pass | Pass | no data | Pass | no data | no data |
(levels:Full) FunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty ,
and subject denotes a resource
which is the subject of two prop triples, then the object s
of these triples have the same denotation. | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) FunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty ,
and subject denotes a resource
which is the subject of two prop triples, then the object s
of these triples have the same denotation.Hence any assertion made
using one of them can be transferred to the other. | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) FunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:FunctionalProperty ,
then its inverse is an owl:InverseFunctionalProperty . | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) I5.5-004 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:first property. | Pass | Fail | Pass | no data | no data | Pass | Pass |
(levels:Full) Restriction-002 [APPROVED: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | Pass | Pass | Pass | no data | no data | Pass | no data |
(levels:Full) SymmetricProperty-001 [APPROVED: Med L XXL] A simple illustration of symmetric properties. | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) TransitiveProperty-001 [APPROVED: Med L XXL] A simple illustration of transitivity. | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) differentFrom-001 [APPROVED: Med L XXL]
differentFrom is a SymmetricProperty .
| Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) disjointWith-010 [APPROVED: Med L XXL]
The owl:disjointWith loop is not in OWL DL.
Classes that are disjoint with themselves are necessarily empty. | Pass | Pass | Pass | no data | no data | Pass | no data |
(levels:Full) equivalentProperty-006 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead . | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) imports-004 [APPROVED: Med L XXL] Importing OWL Full documents may change the level of OWL Lite or OWL DL documents. | Pass | Pass | no data | Pass | Pass | no data | no data |
(levels:Full) inverseOf-001 [APPROVED: Med L XXL]
If the pair (x,y) is an instance of P , than the pair (y,x) is
an instance of the named property. | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) oneOf-002 [APPROVED: Med L XXL]
oneOf describes a class by enumerating its individuals.
| Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) oneOf-003 [APPROVED: Med L XXL]
The order of the instances in an owl:oneOf
construct is unimportant. | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) unionOf-001 [APPROVED: Med L XXL] A union is a superclass of its parts. | Pass | Pass | Pass | no data | no data | no data | Pass |
No results on these tests for: WonderWeb Hoolet FaCT Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor |
---|---|---|---|---|---|---|
Percent Passing (of 9 tests) | 100% | 100% | 0% | 11% | 88% | 100% |
(levels:Full) I5.26-002 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) I5.26-003 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between two class descriptions. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) I5.26-004 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and an owl:disjointWith triple. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) I5.26-005 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) I5.8-016 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full. | Pass | Pass | Undecided | Pass | no data | Pass |
(levels:Full) Restriction-003 [EXTRACREDIT: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) disjointWith-004 [EXTRACREDIT: Med L XXL] This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) disjointWith-006 [EXTRACREDIT: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL. | Pass | Pass | Undecided | no data | Pass | Pass |
(levels:Full) disjointWith-008 [EXTRACREDIT: Med L XXL] A further example that cannot be generated from the mapping rule for DisjointClasses. | Pass | Pass | Undecided | no data | Pass | Pass |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 37 tests) | 45% | 100% | 51% | 54% | 78% | 62% | 45% | 62% | 0% |
(levels:Lite, Full) I5.24-003 [APPROVED: Med L XXL] This is a typical definition of range from description logic. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:Lite, Full) Ontology-001 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triples in the premises and conclusions. | Pass | Pass | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:Lite, Full) Ontology-004 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of two owl:Ontology triples in the premises. | Pass | Pass | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:Lite, Full) Restriction-001 [APPROVED: Med L XXL] This test shows the syntax for using the same restriction twice in OWL Lite. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Undecided | no data |
(levels:Lite, Full) allValuesFrom-001 [APPROVED: Med L XXL] A simple example. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | no data | Undecided |
(levels:Lite, Full) backwardCompatibleWith-001 [APPROVED: Med L XXL] An example of use. | Pass | Pass | Undecided | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite, Full) description-logic-603 [APPROVED: Med L XXL] DL Test: fact3.1 | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-604 [APPROVED: Med L XXL] DL Test: fact4.1 | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-605 [APPROVED: Med L XXL] DL Test: fact4.2 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-608 [APPROVED: Med L XXL] DL Test: t1.3 | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-609 [APPROVED: Med L XXL] DL Test: t10.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-610 [APPROVED: Med L XXL] DL Test: t10.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-612 [APPROVED: Med L XXL] DL Test: t10.4 | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-613 [APPROVED: Med L XXL] DL Test: t10.5 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-616 [APPROVED: Med L XXL] DL Test: t2.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-624 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-625 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-626 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-627 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-629 [APPROVED: Med L XXL] DL Test: t7.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-632 [APPROVED: Med L XXL] DL Test: t7f.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-633 [APPROVED: Med L XXL] DL Test: t7f.3 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-634 [APPROVED: Med L XXL] DL Test: t8.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-665 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:Lite, Full) description-logic-667 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:Lite, Full) imports-012 [APPROVED: Med L XXL] A simple test for infinite loops in imports processing code. | Pass | Pass | Undecided | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite, Full) miscellaneous-202 [APPROVED: Med L XXL] This shows that insignificant whitespace in an rdf:XMLLiteral is not significant within OWL. | Pass | Pass | Undecided | Pass | Undecided | Pass | no data | Pass | no data |
(levels:Lite) I3.2-001 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified cardinality constraint are not defined the OWL namespace. | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I3.2-002 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified max cardinality constraint are not defined the OWL namespace. | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I3.2-003 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified min cardinality constraint are not defined the OWL namespace. | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I3.4-001 [APPROVED: Med L XXL]
The name UnambiguousProperty is not defined in the OWL namespace. daml:UnambiguousProperty corresponds to owl:InverseFunctionalProperty . | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I4.1-001 [APPROVED: Med L XXL]
The name UniqueProperty is not defined in the OWL namespace.
daml:UniqueProperty corresponds to owl:FunctionalProperty . | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I4.6-006 [APPROVED: Med L XXL]
owl:sameIndividualAs is not an OWL property. | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I4.6-007 [APPROVED: Med L XXL]
owl:sameClassAs is not an OWL property. | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I4.6-008 [APPROVED: Med L XXL]
owl:samePropertyAs is not an OWL property. | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I5.21-001 [APPROVED: Med L XXL]
daml:disjointUnionOf did not make it into OWL. | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) imports-011 [APPROVED: Med L XXL] A Lite version of test imports-001. | Pass | Pass | Pass | Pass | Pass | no data | no data | no data | no data |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 29 tests) | 17% | 100% | 65% | 27% | 72% | 100% | 58% | 58% | 0% |
(levels:DL, Full) I5.2-004 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) I5.2-006 [APPROVED: Med L XXL]
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf . | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-005 [APPROVED: Med L XXL] DL Test: fact4.2 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-006 [APPROVED: Med L XXL] DL Test: t1.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-008 [APPROVED: Med L XXL] DL Test: t1.3 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-010 [APPROVED: Med L XXL] DL Test: t10.2 | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-013 [APPROVED: Med L XXL] DL Test: t10.5 | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-014 [APPROVED: Med L XXL] DL Test: t11.1 | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-015 [APPROVED: Med L XXL] DL Test: t12.1 | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-021 [APPROVED: Med L XXL] DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case | no data | Pass | Undecided | Pass | Pass | Pass | Pass | Undecided | no data |
(levels:DL, Full) description-logic-024 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-025 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-026 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-027 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-029 [APPROVED: Med L XXL] DL Test: t7.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-032 [APPROVED: Med L XXL] DL Test: t7f.2 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-033 [APPROVED: Med L XXL] DL Test: t7f.3 | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-034 [APPROVED: Med L XXL] DL Test: t8.1 | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-108 [APPROVED: Med L XXL] DL Test: heinsohn3.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-201 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-205 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-207 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) disjointWith-001 [APPROVED: Med L XXL] Disjoint classes have different members. | Pass | Pass | Pass | no data | Pass | Pass | no data | no data | Undecided |
(levels:DL, Full) disjointWith-003 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) disjointWith-005 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) disjointWith-007 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) disjointWith-009 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) unionOf-003 [APPROVED: Med L XXL] Sets with appropriate extensions are related by unionOf. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) unionOf-004 [APPROVED: Med L XXL] An inverse to test 003. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 24 tests) | 70% | 100% | 62% | 62% | 95% | 100% | 29% | 66% | 12% |
(levels:Lite, Full) I5.2-003 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.2-010 [APPROVED: Med L XXL] The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.2-011 [APPROVED: Med L XXL] The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.24-004 [APPROVED: Med L XXL] This is a typical definition of range from description logic. It works both ways. | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Lite, Full) I5.3-006 [APPROVED: Med L XXL] A minimal OWL Lite version of test 005. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.3-008 [APPROVED: Med L XXL] An OWL Lite version of test 007. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.3-011 [APPROVED: Med L XXL] Classes can be the object of annotation properties in OWL Lite and DL. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) Nothing-001 [APPROVED: Med L XXL]
The triple asserts something of type owl:Nothing , however
that is the empty class. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Pass | no data |
(levels:Lite, Full) Restriction-004 [APPROVED: Med L XXL] This test shows OWL Lite syntax for using two equivalent restrictions. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) description-logic-611 [APPROVED: Med L XXL] DL Test: t10.3 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-614 [APPROVED: Med L XXL] DL Test: t11.1 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-615 [APPROVED: Med L XXL] DL Test: t12.1 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-617 [APPROVED: Med L XXL] DL Test: t2.2 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-630 [APPROVED: Med L XXL] DL Test: t7.3 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-646 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | no data | Pass | Pass | Fail | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-650 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions | no data | Pass | Pass | Pass | Pass | Pass | Pass | Undecided | no data |
(levels:Lite, Full) equivalentClass-001 [APPROVED: Med L XXL] Two classes may have the same class extension. | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Lite, Full) equivalentClass-002 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Lite, Full) equivalentClass-004 [APPROVED: Med L XXL] Two classes with the same complete description are equivalent. | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Lite, Full) equivalentProperty-001 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead . | Pass | Pass | Pass | no data | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) equivalentProperty-002 [APPROVED: Med L XXL]
A reasoner can also deduce that hasLeader is a subProperty of hasHead and hasHead is a subProperty of hasLeader . | Pass | Pass | Pass | no data | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) equivalentProperty-003 [APPROVED: Med L XXL] The inverse entailment of test 002 also holds. | Pass | Pass | Pass | no data | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) miscellaneous-201 [APPROVED: Med L XXL] This test shows how user labels in a variety of languages can be used. Note the use of ruby annotation. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) miscellaneous-303 [APPROVED: Med L XXL]
dc:creator may be declared as an annotation property. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 22 tests) | 31% | 100% | 63% | 50% | 90% | 100% | 77% | 81% | 4% |
(levels:DL, Full) I5.2-005 [APPROVED: Med L XXL]
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf . | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) cardinality-003 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | no data | Pass |
(levels:DL, Full) description-logic-001 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-002 [APPROVED: Med L XXL] DL Test: fact2.1 | Undecided | Pass | Pass | Fail | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-003 [APPROVED: Med L XXL] DL Test: fact3.1 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-004 [APPROVED: Med L XXL] DL Test: fact4.1 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-009 [APPROVED: Med L XXL] DL Test: t10.1 | Pass | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-011 [APPROVED: Med L XXL] DL Test: t10.3 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-012 [APPROVED: Med L XXL] DL Test: t10.4 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-016 [APPROVED: Med L XXL] DL Test: t2.1 | Pass | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-017 [APPROVED: Med L XXL] DL Test: t2.2 | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-018 [APPROVED: Med L XXL] DL Test: t3.1 There are 90 possible partitions in the satisfiable case | no data | Pass | Undecided | Pass | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-020 [APPROVED: Med L XXL] DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case | no data | Pass | Undecided | Pass | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-030 [APPROVED: Med L XXL] DL Test: t7.3 | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-105 [APPROVED: Med L XXL] DL Test: heinsohn2.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | no data | Pass | Pass | Pass | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-106 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | no data | Pass | Pass | Fail | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-107 [APPROVED: Med L XXL] DL Test: heinsohn3.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-110 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) equivalentClass-006 [APPROVED: Med L XXL] De Morgan's law. | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:DL, Full) equivalentClass-009 [APPROVED: Med L XXL] A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) miscellaneous-102 [APPROVED: Med L XXL] Abstract syntax restrictions with multiple components are in OWL DL. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) miscellaneous-103 [APPROVED: Med L XXL] This description cannot be expressed as a multicomponent restriction in the abstract syntax. | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 10 tests) | 50% | 100% | 90% | 100% | 100% | 100% | 70% | 60% | 30% |
(levels:Lite, Full) I5.2-001 [APPROVED: Med L XXL]
A class like owl:Nothing can be defined using OWL Lite restrictions. | Pass | Pass | Undecided | Pass | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) I5.2-002 [APPROVED: Med L XXL]
A class like owl:Nothing can be defined using OWL Lite restrictions. | Pass | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:Lite, Full) cardinality-001 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) cardinality-002 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) description-logic-602 [APPROVED: Med L XXL] DL Test: fact2.1 | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-641 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-642 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-643 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-644 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) equivalentClass-003 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Pass |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 6 tests) | 16% | 100% | 100% | 100% | 83% | 100% | 100% | 100% | 0% |
(levels:DL, Full) description-logic-101 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-102 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-103 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-104 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-109 [APPROVED: Med L XXL] DL Test: heinsohn3c.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | Pass | Pass | Pass | Pass | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-111 [APPROVED: Med L XXL] DL Test: heinsohn4.2 Tbox tests from [Heinsohn et al.] Tests role restrictions | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
Approved | Proposed | Extra Credit | |||||||
---|---|---|---|---|---|---|---|---|---|
Lite | DL | Full | Lite | DL | Full | Lite | DL | Full | |
Tests With 0 Fails | 190 | 192 | 110 | 0 | 0 | 0 | 8 | 15 | 66 |
Tests With 1 Fail | 7 | 11 | 4 | 0 | 0 | 0 | 2 | 3 | 2 |
Tests With 2 Fails | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 190 tests) | 52% | 26% | 96% | 26% | 82% | 36% | 32% | 17% | 23% | 3% |
(levels:Lite, Full) I4.6-005 [APPROVED: Med L XXL]
owl:equivalentClass is not related to annotations on classes. | no data | Pass | no data | Undecided | Pass | Undecided | no data | no data | no data | no data |
(levels:Lite, Full) I5.2-001 [APPROVED: Med L XXL]
A class like owl:Nothing can be defined using OWL Lite restrictions. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) I5.2-002 [APPROVED: Med L XXL]
A class like owl:Nothing can be defined using OWL Lite restrictions. | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:Lite, Full) I5.2-003 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.2-010 [APPROVED: Med L XXL] The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.2-011 [APPROVED: Med L XXL] The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.24-003 [APPROVED: Med L XXL] This is a typical definition of range from description logic. | no data | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:Lite, Full) I5.24-004 [APPROVED: Med L XXL] This is a typical definition of range from description logic. It works both ways. | no data | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Lite, Full) I5.3-006 [APPROVED: Med L XXL] A minimal OWL Lite version of test 005. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.3-008 [APPROVED: Med L XXL] An OWL Lite version of test 007. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.3-011 [APPROVED: Med L XXL] Classes can be the object of annotation properties in OWL Lite and DL. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) I5.8-011 [APPROVED: Med L XXL]
The empty graph entails that xsd:integer and xsd:string
are a rdfs:Datatype | no data | Pass | no data | Pass | Pass | Undecided | no data | no data | no data | no data |
(levels:Lite, Full) I5.8-013 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics. | no data | Pass | Pass | Undecided | Pass | Undecided | no data | no data | Pass | no data |
(levels:Lite, Full) Nothing-001 [APPROVED: Med L XXL]
The triple asserts something of type owl:Nothing , however
that is the empty class. | no data | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Pass | no data |
(levels:Lite, Full) Ontology-001 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triples in the premises and conclusions. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:Lite, Full) Ontology-003 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triple only in the conclusions. | no data | Pass | Pass | Undecided | Pass | no data | no data | no data | no data | no data |
(levels:Lite, Full) Ontology-004 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of two owl:Ontology triples in the premises. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:Lite, Full) Restriction-001 [APPROVED: Med L XXL] This test shows the syntax for using the same restriction twice in OWL Lite. | no data | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Undecided | no data |
(levels:Lite, Full) Restriction-004 [APPROVED: Med L XXL] This test shows OWL Lite syntax for using two equivalent restrictions. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) Restriction-005 [APPROVED: Med L XXL]
This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Restriction . | no data | Pass | Pass | Undecided | Pass | Undecided | no data | no data | no data | no data |
(levels:Lite, Full) SymmetricProperty-003 [APPROVED: Med L XXL] A Lite version of test 001. | no data | Pass | Pass | Pass | no data | Pass | no data | no data | no data | no data |
(levels:Lite, Full) allValuesFrom-001 [APPROVED: Med L XXL] A simple example. | no data | Pass | Pass | Pass | Pass | Undecided | Pass | no data | no data | Undecided |
(levels:Lite, Full) allValuesFrom-002 [APPROVED: Med L XXL]
Another simple example; contrast with owl:someValuesFrom . | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Lite, Full) backwardCompatibleWith-001 [APPROVED: Med L XXL] An example of use. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite, Full) cardinality-001 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) cardinality-002 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) description-logic-602 [APPROVED: Med L XXL] DL Test: fact2.1 | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-603 [APPROVED: Med L XXL] DL Test: fact3.1 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-604 [APPROVED: Med L XXL] DL Test: fact4.1 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-605 [APPROVED: Med L XXL] DL Test: fact4.2 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-606 [APPROVED: Med L XXL] DL Test: t1.1 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Undecided | no data |
(levels:Lite, Full) description-logic-608 [APPROVED: Med L XXL] DL Test: t1.3 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-609 [APPROVED: Med L XXL] DL Test: t10.1 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-610 [APPROVED: Med L XXL] DL Test: t10.2 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-611 [APPROVED: Med L XXL] DL Test: t10.3 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-612 [APPROVED: Med L XXL] DL Test: t10.4 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-613 [APPROVED: Med L XXL] DL Test: t10.5 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-614 [APPROVED: Med L XXL] DL Test: t11.1 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-615 [APPROVED: Med L XXL] DL Test: t12.1 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-616 [APPROVED: Med L XXL] DL Test: t2.1 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-617 [APPROVED: Med L XXL] DL Test: t2.2 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-623 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-624 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-625 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-626 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-627 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) description-logic-628 [APPROVED: Med L XXL] DL Test: t7.1 | no data | no data | Pass | Undecided | no data | Pass | Undecided | Pass | Undecided | no data |
(levels:Lite, Full) description-logic-629 [APPROVED: Med L XXL] DL Test: t7.2 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-630 [APPROVED: Med L XXL] DL Test: t7.3 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-631 [APPROVED: Med L XXL] DL Test: t7f.1 | no data | no data | Pass | Undecided | no data | Pass | Undecided | Pass | Undecided | no data |
(levels:Lite, Full) description-logic-632 [APPROVED: Med L XXL] DL Test: t7f.2 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-633 [APPROVED: Med L XXL] DL Test: t7f.3 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-634 [APPROVED: Med L XXL] DL Test: t8.1 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-641 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-642 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-643 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:Lite, Full) description-logic-644 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | no data |
(levels:Lite, Full) description-logic-650 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Undecided | no data |
(levels:Lite, Full) description-logic-661 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. | no data | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data | no data |
(levels:Lite, Full) description-logic-662 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. | no data | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data | no data |
(levels:Lite, Full) description-logic-663 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. | no data | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data | no data |
(levels:Lite, Full) description-logic-664 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. | no data | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data | no data |
(levels:Lite, Full) description-logic-665 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. | no data | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:Lite, Full) description-logic-667 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. | no data | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:Lite, Full) equivalentClass-001 [APPROVED: Med L XXL] Two classes may have the same class extension. | no data | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Lite, Full) equivalentClass-002 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | no data | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Lite, Full) equivalentClass-003 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | no data | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) equivalentClass-004 [APPROVED: Med L XXL] Two classes with the same complete description are equivalent. | no data | Pass | Pass | Pass | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Lite, Full) equivalentClass-005 [APPROVED: Med L XXL] Two classes with the same partial description are not equivalent. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Lite, Full) equivalentProperty-001 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead . | no data | Pass | Pass | Pass | no data | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) equivalentProperty-002 [APPROVED: Med L XXL]
A reasoner can also deduce that hasLeader is a subProperty of hasHead and hasHead is a subProperty of hasLeader . | no data | Pass | Pass | Pass | no data | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) equivalentProperty-003 [APPROVED: Med L XXL] The inverse entailment of test 002 also holds. | no data | Pass | Pass | Pass | no data | Pass | Pass | no data | no data | Pass |
(levels:Lite, Full) imports-012 [APPROVED: Med L XXL] A simple test for infinite loops in imports processing code. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite, Full) miscellaneous-201 [APPROVED: Med L XXL] This test shows how user labels in a variety of languages can be used. Note the use of ruby annotation. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) miscellaneous-202 [APPROVED: Med L XXL] This shows that insignificant whitespace in an rdf:XMLLiteral is not significant within OWL. | no data | Pass | Pass | Undecided | Pass | Undecided | Pass | no data | Pass | no data |
(levels:Lite, Full) miscellaneous-302 [APPROVED: Med L XXL] Annotations participate a little in the semantics. | no data | Pass | no data | Undecided | Pass | no data | no data | no data | no data | no data |
(levels:Lite, Full) miscellaneous-303 [APPROVED: Med L XXL]
dc:creator may be declared as an annotation property. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:Lite, Full) someValuesFrom-003 [APPROVED: Med L XXL] A simple infinite loop for implementors to avoid. | no data | no data | Pass | Pass | Pass | no data | no data | no data | no data | no data |
(levels:Lite) I3.2-001 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified cardinality constraint are not defined the OWL namespace. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I3.2-002 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified max cardinality constraint are not defined the OWL namespace. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I3.2-003 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified min cardinality constraint are not defined the OWL namespace. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I3.4-001 [APPROVED: Med L XXL]
The name UnambiguousProperty is not defined in the OWL namespace. daml:UnambiguousProperty corresponds to owl:InverseFunctionalProperty . | no data | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I4.1-001 [APPROVED: Med L XXL]
The name UniqueProperty is not defined in the OWL namespace.
daml:UniqueProperty corresponds to owl:FunctionalProperty . | no data | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I4.6-006 [APPROVED: Med L XXL]
owl:sameIndividualAs is not an OWL property. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I4.6-007 [APPROVED: Med L XXL]
owl:sameClassAs is not an OWL property. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I4.6-008 [APPROVED: Med L XXL]
owl:samePropertyAs is not an OWL property. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) I5.21-001 [APPROVED: Med L XXL]
daml:disjointUnionOf did not make it into OWL. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | Pass | no data |
(levels:Lite) imports-006 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | no data | no data |
(levels:Lite) imports-007 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | no data | no data |
(levels:Lite) imports-008 [APPROVED: Med L XXL] It is often possible to import an ordinary RDFS document unchanged into an OWL Lite document. Aditional type declarations may be needed in the importing document. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | no data | no data |
(levels:Lite) imports-011 [APPROVED: Med L XXL] A Lite version of test imports-001. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data | no data |
Syntactic Level Test for AnnotationProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I3.2-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I3.2-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I3.2-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I3.4-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I4.1-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I4.6-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I4.6-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I4.6-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I4.6-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.21-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.24-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.24-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.3-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.3-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.3-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-013 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-015 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Nothing-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Ontology-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Ontology-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Ontology-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Restriction-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Restriction-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Restriction-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for SymmetricProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Thing-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for allValuesFrom-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for allValuesFrom-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for backwardCompatibleWith-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for cardinality-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for cardinality-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-601 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-602 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-603 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-604 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-605 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-606 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-608 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-609 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-610 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-611 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-612 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-613 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-614 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-615 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-616 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-617 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-623 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-624 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-625 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-626 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-627 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-628 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-629 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-630 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-631 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-632 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-633 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-634 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-641 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-642 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-643 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-644 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-646 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-650 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-661 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-662 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-663 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-664 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-665 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-667 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for imports-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for imports-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for imports-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for imports-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for imports-012 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-201 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-202 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-204 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-205 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-302 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-303 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for someValuesFrom-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 192 tests) | 53% | 9% | 95% | 31% | 72% | 28% | 34% | 23% | 20% | 0% |
(levels:DL, Full) Class-005 [APPROVED: Med L XXL]
This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Class . | no data | Pass | Pass | Undecided | Pass | Undecided | no data | no data | no data | no data |
(levels:DL, Full) I4.5-001 [APPROVED: Med L XXL] An example combinging owl:oneOf and owl:inverseOf. | no data | no data | Pass | Pass | no data | Pass | Pass | no data | no data | no data |
(levels:DL, Full) I4.5-002 [APPROVED: Med L XXL] An example combining owl:oneOf and owl:inverseOf. | no data | Undecided | Pass | Pass | no data | Undecided | Pass | no data | Pass | no data |
(levels:DL, Full) I5.2-004 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions. | no data | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) I5.2-005 [APPROVED: Med L XXL]
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf . | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) I5.2-006 [APPROVED: Med L XXL]
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf . | no data | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) I5.26-009 [APPROVED: Med L XXL]
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p )This is trivially true given that first:p is an individualvaluedPropertyID . | no data | no data | Pass | Pass | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) I5.26-010 [APPROVED: Med L XXL]
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p )This is trivially true given that first:p is an individualvaluedPropertyID . | no data | no data | Pass | Pass | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) I5.5-005 [APPROVED: Med L XXL] This test exhibits the effect of the comprehension principles in OWL Full. | no data | no data | Pass | Pass | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) I5.8-002 [APPROVED: Med L XXL]
There are 256 different values for xsd:byte . | no data | Pass | Pass | Undecided | Pass | Pass | Undecided | no data | Undecided | no data |
(levels:DL, Full) I5.8-005 [APPROVED: Med L XXL]
There are 128 different values of xsd:byte
that are also xsd:unsignedInt . | no data | Pass | Pass | Undecided | Pass | Undecided | no data | no data | no data | no data |
(levels:DL, Full) I5.8-012 [APPROVED: Med L XXL]
There might be only 128 different values of xsd:byte
that are also xsd:unsignedInt ; but this is not
explicit in the datatype map
of this test. (cf. the similar inconsistency test). | no data | Pass | Pass | Undecided | Pass | Pass | Undecided | no data | Undecided | no data |
(levels:DL, Full) Nothing-002 [APPROVED: Med L XXL]
An empty owl:Class has the same class extension as owl:Nothing . | no data | Pass | no data | Pass | Pass | no data | no data | no data | no data | no data |
(levels:DL, Full) SymmetricProperty-002 [APPROVED: Med L XXL]
Test illustrating extensional semantics of owl:SymmetricProperty . | no data | Undecided | Pass | Pass | no data | Undecided | no data | no data | no data | no data |
(levels:DL, Full) TransitiveProperty-002 [APPROVED: Med L XXL]
Test illustrating extensional semantics of owl:TransitiveProperty . | no data | Undecided | Pass | Pass | no data | Undecided | no data | no data | no data | no data |
(levels:DL, Full) cardinality-003 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | Pass | Pass | Pass | Pass | Undecided | Pass | no data | no data | Pass |
(levels:DL, Full) cardinality-004 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | no data | Pass | Pass | Pass | Undecided | Pass | no data | no data | Undecided |
(levels:DL, Full) description-logic-001 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. | no data | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-003 [APPROVED: Med L XXL] DL Test: fact3.1 | no data | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-004 [APPROVED: Med L XXL] DL Test: fact4.1 | no data | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-005 [APPROVED: Med L XXL] DL Test: fact4.2 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-006 [APPROVED: Med L XXL] DL Test: t1.1 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-007 [APPROVED: Med L XXL] DL Test: t1.2 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-008 [APPROVED: Med L XXL] DL Test: t1.3 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-009 [APPROVED: Med L XXL] DL Test: t10.1 | no data | Pass | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-010 [APPROVED: Med L XXL] DL Test: t10.2 | no data | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-011 [APPROVED: Med L XXL] DL Test: t10.3 | no data | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-012 [APPROVED: Med L XXL] DL Test: t10.4 | no data | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-013 [APPROVED: Med L XXL] DL Test: t10.5 | no data | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-014 [APPROVED: Med L XXL] DL Test: t11.1 | no data | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-015 [APPROVED: Med L XXL] DL Test: t12.1 | no data | Undecided | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-016 [APPROVED: Med L XXL] DL Test: t2.1 | no data | Pass | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-017 [APPROVED: Med L XXL] DL Test: t2.2 | no data | Undecided | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-018 [APPROVED: Med L XXL] DL Test: t3.1 There are 90 possible partitions in the satisfiable case | no data | no data | Pass | Undecided | Pass | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-020 [APPROVED: Med L XXL] DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case | no data | no data | Pass | Undecided | Pass | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-021 [APPROVED: Med L XXL] DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case | no data | no data | Pass | Undecided | Pass | Pass | Pass | Pass | Undecided | no data |
(levels:DL, Full) description-logic-023 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-024 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-025 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-026 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-027 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-028 [APPROVED: Med L XXL] DL Test: t7.1 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Undecided | no data |
(levels:DL, Full) description-logic-029 [APPROVED: Med L XXL] DL Test: t7.2 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-030 [APPROVED: Med L XXL] DL Test: t7.3 | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-031 [APPROVED: Med L XXL] DL Test: t7f.1 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Undecided | no data |
(levels:DL, Full) description-logic-032 [APPROVED: Med L XXL] DL Test: t7f.2 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-033 [APPROVED: Med L XXL] DL Test: t7f.3 | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-034 [APPROVED: Med L XXL] DL Test: t8.1 | no data | no data | Pass | Undecided | no data | Pass | Pass | Pass | Pass | no data |
(levels:DL, Full) description-logic-035 [APPROVED: Med L XXL] A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2. | no data | no data | Pass | Pass | no data | Undecided | Pass | no data | Undecided | no data |
(levels:DL, Full) description-logic-040 [APPROVED: Med L XXL] This kind of pattern comes up a lot in more complex ontologies. Failure to cope with this kind of pattern is one of the reasons that many reasoners have been unable to cope with such ontologies. | no data | no data | Pass | Pass | Undecided | Pass | no data | no data | Undecided | no data |
(levels:DL, Full) description-logic-101 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-102 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-103 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-104 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-105 [APPROVED: Med L XXL] DL Test: heinsohn2.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | no data | no data | Pass | Pass | Pass | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-107 [APPROVED: Med L XXL] DL Test: heinsohn3.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-108 [APPROVED: Med L XXL] DL Test: heinsohn3.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | no data | no data | Pass | Pass | no data | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-109 [APPROVED: Med L XXL] DL Test: heinsohn3c.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | no data | Pass | Pass | Pass | Pass | Undecided | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-110 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions | no data | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-111 [APPROVED: Med L XXL] DL Test: heinsohn4.2 Tbox tests from [Heinsohn et al.] Tests role restrictions | no data | no data | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-201 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. | no data | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-202 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. | no data | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-203 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. | no data | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-204 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. | no data | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-205 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. | no data | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-206 [APPROVED: Med L XXL] DL Test: k_path ABox test from DL98 systems comparison. | no data | Undecided | Pass | Pass | Undecided | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-207 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. | no data | no data | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) description-logic-208 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. | no data | no data | Pass | Pass | Undecided | Undecided | Undecided | no data | no data | no data |
(levels:DL, Full) description-logic-209 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. (Modified in light of implementation feedback, see test description-logic-208). | no data | no data | Pass | Undecided | Undecided | no data | no data | no data | no data | no data |
(levels:DL, Full) description-logic-504 [APPROVED: Med L XXL] This is a different encoding of test 502. | no data | no data | Pass | Undecided | Pass | Pass | Pass | no data | Undecided | no data |
(levels:DL, Full) description-logic-901 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 2, 3 and 5. | no data | no data | Pass | Pass | no data | Undecided | Pass | Pass | no data | Undecided |
(levels:DL, Full) description-logic-902 [APPROVED: Med L XXL] This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 2, 3 and 6. | no data | Pass | Pass | Undecided | no data | Undecided | no data | Pass | no data | Undecided |
(levels:DL, Full) description-logic-903 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 200, 300 and 500. | no data | no data | Undecided | Pass | no data | Undecided | Undecided | Pass | no data | no data |
(levels:DL, Full) description-logic-904 [APPROVED: Med L XXL] This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 200, 300 and 600. | no data | Pass | Pass | Undecided | no data | Undecided | no data | Pass | no data | no data |
(levels:DL, Full) description-logic-908 [APPROVED: Med L XXL]
This test shows integer multiplication in OWL DL, interacting with infinity. N times infinity is 2 times infinity. M times infinity is 3 times infinity. N times M times infinity is 5 times infinity. | no data | no data | Pass | Undecided | no data | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) description-logic-909 [APPROVED: Med L XXL]
This test shows integer multiplication in OWL DL. For some finite K, N times K is 2 times K. M times K is 3 times K. N times M times K is not 5 times K. | no data | no data | no data | Pass | no data | no data | Undecided | no data | Pass | no data |
(levels:DL, Full) disjointWith-001 [APPROVED: Med L XXL] Disjoint classes have different members. | no data | Pass | Pass | Pass | no data | Pass | Pass | no data | no data | Undecided |
(levels:DL, Full) equivalentClass-006 [APPROVED: Med L XXL] De Morgan's law. | no data | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:DL, Full) equivalentClass-008 [APPROVED: Med L XXL] Annotation properties refer to a class instance. equivalentClass refers to the class extension. | no data | Pass | no data | Undecided | Pass | Undecided | no data | no data | no data | no data |
(levels:DL, Full) equivalentClass-009 [APPROVED: Med L XXL] A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) equivalentProperty-004 [APPROVED: Med L XXL]
If p and q have the same property extension then p equivalentProperty q . | no data | Undecided | Pass | Pass | no data | no data | Pass | no data | no data | Undecided |
(levels:DL, Full) miscellaneous-001 [APPROVED: Med L XXL] Wine example taken from the guide. | no data | no data | Undecided | Undecided | no data | Pass | Undecided | no data | Pass | no data |
(levels:DL, Full) miscellaneous-002 [APPROVED: Med L XXL] Food example taken from the guide. | no data | no data | Undecided | Undecided | no data | Pass | Undecided | no data | Pass | no data |
(levels:DL, Full) miscellaneous-010 [APPROVED: Med L XXL] Which wine goes well with which food. | no data | no data | Undecided | Pass | no data | no data | no data | no data | no data | no data |
(levels:DL, Full) miscellaneous-011 [APPROVED: Med L XXL] Which wine hasSugar OffDry. | no data | no data | Undecided | Pass | no data | no data | no data | no data | no data | no data |
(levels:DL, Full) miscellaneous-102 [APPROVED: Med L XXL] Abstract syntax restrictions with multiple components are in OWL DL. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) miscellaneous-103 [APPROVED: Med L XXL] This description cannot be expressed as a multicomponent restriction in the abstract syntax. | no data | Pass | Pass | Undecided | Pass | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) unionOf-003 [APPROVED: Med L XXL] Sets with appropriate extensions are related by unionOf. | no data | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL, Full) unionOf-004 [APPROVED: Med L XXL] An inverse to test 003. | no data | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:DL) imports-005 [APPROVED: Med L XXL] If an OWL Lite document imports an OWL DL document then it becomes OWL DL. | no data | Pass | Pass | no data | Pass | Pass | no data | no data | no data | no data |
Syntactic Level Test for Class-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I4.5-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I4.5-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.2-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.21-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.26-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.26-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.5-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for I5.8-012 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Nothing-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for SymmetricProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for Thing-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for TransitiveProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for cardinality-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for cardinality-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-012 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-013 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-014 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-015 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-016 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-017 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-018 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-019 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-020 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-021 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-022 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-023 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-024 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-025 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-026 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-027 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-028 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-029 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-030 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-031 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-032 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-033 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-034 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-035 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-040 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-101 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-102 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-103 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-104 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-105 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-106 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-107 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-108 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-109 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-110 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-111 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-201 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-202 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-203 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-204 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-205 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-206 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-207 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-208 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-209 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-503 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-504 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-901 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-902 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-903 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-904 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-908 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for description-logic-909 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for disjointWith-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentClass-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for equivalentProperty-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for imports-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-011 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-102 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for miscellaneous-103 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for oneOf-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for unionOf-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
Syntactic Level Test for unionOf-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data | no data | no data |
No results on these tests for: Hoolet FaCT
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 110 tests) | 51% | 27% | 90% | 45% | 54% | 8% | 1% | 16% |
(levels:Full) AllDifferent-001 [APPROVED: Med L XXL]
using AllDifferent to derive differentFrom | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) Class-001 [APPROVED: Med L XXL] In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class. | no data | Pass | no data | Pass | no data | Pass | no data | no data |
(levels:Full) Class-002 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | no data | Pass | Pass | Pass | no data | Pass | no data | no data |
(levels:Full) Class-003 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | no data | Pass | Pass | Pass | no data | Pass | no data | no data |
(levels:Full) Class-006 [APPROVED: Med L XXL]
This test shows a correct application of OWL Full comprehension rules.
It also shows that use of rdfs:Class instead of owl:Class
may make a file fall outside OWL DL. | no data | Undecided | Pass | Pass | no data | no data | no data | no data |
(levels:Full) FunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty ,
and subject denotes a resource
which is the subject of two prop triples, then the object s
of these triples have the same denotation. | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) FunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty ,
and subject denotes a resource
which is the subject of two prop triples, then the object s
of these triples have the same denotation.Hence any assertion made
using one of them can be transferred to the other. | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) FunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:FunctionalProperty ,
then its inverse is an owl:InverseFunctionalProperty . | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) FunctionalProperty-004 [APPROVED: Med L XXL]
If the range of prop is a singleton set then it is necessarily functional, (i.e. every member of its domain
has a single value) and so it is an owl:FunctionalProperty . | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) FunctionalProperty-005 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty
then an OWL individual has at most one value for prop. | no data | Undecided | Pass | Pass | no data | Pass | no data | no data |
(levels:Full) I4.6-003 [APPROVED: Med L XXL]
owl:sameAs is stronger than owl:equivalentClass . | no data | Undecided | no data | Pass | no data | no data | no data | Undecided |
(levels:Full) I5.1-001 [APPROVED: Med L XXL] stateCode example using an inverseFunctionalProperty and literals | no data | no data | no data | Pass | no data | no data | no data | Undecided |
(levels:Full) I5.24-001 [APPROVED: Med L XXL] This entailment is similar to one that does not hold in RDFS. | no data | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) I5.24-002 [APPROVED: Med L XXL] OWL, unlike RDFS, uses iff semantics for range. | no data | Undecided | Pass | Pass | no data | no data | no data | no data |
(levels:Full) I5.3-014 [APPROVED: Med L XXL] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | no data | Undecided | no data | Pass | no data | no data | no data | no data |
(levels:Full) I5.3-015 [APPROVED: Med L XXL] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | no data | Undecided | no data | Pass | no data | no data | no data | no data |
(levels:Full) I5.5-001 [APPROVED: Med L XXL] rdf:first is a FunctionalProperty. | no data | Pass | no data | Pass | no data | Pass | no data | no data |
(levels:Full) I5.5-002 [APPROVED: Med L XXL] rdf:rest is a FunctionalProperty. | no data | Pass | no data | Pass | no data | Pass | no data | no data |
(levels:Full) I5.8-017 [APPROVED: Med L XXL] This explores aliases of builtin datatypes. | no data | no data | no data | Pass | no data | no data | no data | no data |
(levels:Full) InverseFunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty ,
and object denotes a resource
which is the object of two prop triples, then the subject s
of these triples have the same denotation. | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty ,
and object denotes a resource
which is the object of two prop triples, then the subject s
of these triples have the same denotation. Hence any assertion made
using one of them can be transferred to the other. | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:InverseFunctionalProperty ,
then its inverse is an owl:FunctionalProperty . | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-004 [APPROVED: Med L XXL]
If the domain of prop is a singleton set then it is necessarily inverse functional, (i.e. every member of its
range is the value of a single item) so it is an
owl:InverseFunctionalProperty . | no data | Undecided | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) Restriction-002 [APPROVED: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | no data | Pass | Pass | Pass | no data | no data | Pass | no data |
(levels:Full) Restriction-006 [APPROVED: Med L XXL]
This test shows a correct application of OWL Full comprehension rules.
It also shows that optional type triples on an owl:Restriction
do not replace the obligatory ones. | no data | Undecided | Pass | Pass | no data | no data | no data | no data |
(levels:Full) SymmetricProperty-001 [APPROVED: Med L XXL] A simple illustration of symmetric properties. | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) TransitiveProperty-001 [APPROVED: Med L XXL] A simple illustration of transitivity. | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) cardinality-006 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | no data | Pass | Pass | no data | no data | no data | no data |
(levels:Full) complementOf-001 [APPROVED: Med L XXL]
complementOf is a SymmetricProperty .
| no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) differentFrom-001 [APPROVED: Med L XXL]
differentFrom is a SymmetricProperty .
| no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) differentFrom-002 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) disjointWith-002 [APPROVED: Med L XXL] Disjoint classes have different members. | no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) disjointWith-010 [APPROVED: Med L XXL]
The owl:disjointWith loop is not in OWL DL.
Classes that are disjoint with themselves are necessarily empty. | no data | Pass | Pass | Pass | no data | no data | Pass | no data |
(levels:Full) distinctMembers-001 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) equivalentClass-007 [APPROVED: Med L XXL] De Morgan's law. | no data | Undecided | Pass | Pass | no data | Pass | no data | no data |
(levels:Full) equivalentProperty-005 [APPROVED: Med L XXL]
If p and q have the same property extension then p owl:equivalentProperty q . | no data | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) equivalentProperty-006 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead . | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) imports-001 [APPROVED: Med L XXL] If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:Full) imports-003 [APPROVED: Med L XXL] If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:Full) imports-004 [APPROVED: Med L XXL] Importing OWL Full documents may change the level of OWL Lite or OWL DL documents. | no data | Pass | Pass | no data | Pass | Pass | no data | no data |
(levels:Full) imports-010 [APPROVED: Med L XXL] This test specifies the domain and range for owl:imports. | no data | Pass | no data | Pass | no data | Pass | no data | no data |
(levels:Full) imports-013 [APPROVED: Med L XXL] An imported ontology must have type owl:Ontology to be in DL. | no data | Pass | Pass | no data | Pass | no data | no data | no data |
(levels:Full) imports-014 [APPROVED: Med L XXL]
When importing a file that uses an xml:base declaration,
if you use a different URL in an owl:imports
triple, that URL may be without an explicit type. | no data | no data | Pass | no data | Pass | no data | no data | no data |
(levels:Full) intersectionOf-001 [APPROVED: Med L XXL]
The order of the classes in an intersectionOf
construct is unimportant. | no data | Undecided | Pass | Pass | no data | no data | no data | Undecided |
(levels:Full) inverseOf-001 [APPROVED: Med L XXL]
If the pair (x,y) is an instance of P , than the pair (y,x) is
an instance of the named property. | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) maxCardinality-001 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. | no data | Undecided | Pass | Pass | no data | no data | Undecided | Pass |
(levels:Full) maxCardinality-002 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. In this example, one of the three values is implicit. | no data | Undecided | Pass | Pass | no data | no data | Undecided | Undecided |
(levels:Full) oneOf-002 [APPROVED: Med L XXL]
oneOf describes a class by enumerating its individuals.
| no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) oneOf-003 [APPROVED: Med L XXL]
The order of the instances in an owl:oneOf
construct is unimportant. | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) sameAs-001 [APPROVED: Med L XXL] Annotation properties refer to a class instance. sameAs, in OWL Full, also refers to the class instance. | no data | Pass | no data | Pass | no data | no data | no data | no data |
(levels:Full) someValuesFrom-001 [APPROVED: Med L XXL] A simple example. | no data | Undecided | Pass | Pass | no data | no data | no data | no data |
(levels:Full) unionOf-001 [APPROVED: Med L XXL] A union is a superclass of its parts. | no data | Pass | Pass | Pass | no data | no data | no data | Pass |
(levels:Full) unionOf-002 [APPROVED: Med L XXL] A union behaves quite like set theoretic union. | no data | Pass | Pass | Pass | no data | no data | no data | Undecided |
Syntactic Level Test for AllDifferent-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for AnnotationProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Class-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Class-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Class-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Class-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for FunctionalProperty-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I4.6-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.1-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.24-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.24-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.3-014 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.3-015 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.8-017 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for InverseFunctionalProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for InverseFunctionalProperty-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for InverseFunctionalProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for InverseFunctionalProperty-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Restriction-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Restriction-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for SymmetricProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Thing-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for TransitiveProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for cardinality-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for complementOf-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for differentFrom-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for differentFrom-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for disjointWith-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for disjointWith-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for distinctMembers-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for equivalentClass-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for equivalentProperty-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for equivalentProperty-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-013 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-014 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for intersectionOf-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for inverseOf-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for maxCardinality-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for maxCardinality-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for oneOf-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for oneOf-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for sameAs-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for someValuesFrom-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for unionOf-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for unionOf-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
No results on these tests for: FaCT ConsVISor Surnia
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet |
---|---|---|---|---|---|---|---|
Percent Passing (of 8 tests) | 62% | 0% | 100% | 37% | 100% | 0% | 0% |
(levels:Lite, Full) I5.8-006 [EXTRACREDIT: Med L XXL]
All xsd:byte
are xsd:short . | no data | Undecided | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) I5.8-008 [EXTRACREDIT: Med L XXL]
-1 is an xsd:short that is not an
xsd:unsignedShort ;
100000 is an xsd:unsignedInt that is not
an xsd:unsignedShort ; but there are no
xsd:unsignedShort which are neither
xsd:short nor
xsd:unsignedInt | no data | Undecided | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) I5.8-009 [EXTRACREDIT: Med L XXL]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger . 0 is an
xsd:short . | no data | Undecided | Pass | Pass | Pass | Undecided | Undecided |
Syntactic Level Test for I5.8-006 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.8-008 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.8-009 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for I5.8-010 | Pass | no data | Pass | no data | Pass | no data | no data |
Syntactic Level Test for miscellaneous-203 | Pass | no data | Pass | no data | Pass | no data | no data |
No results on these tests for: FOWL FaCT Surnia
Test | WonderWeb | Pellet | Euler | OWLP | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|---|---|
Percent Passing (of 15 tests) | 60% | 60% | 6% | 60% | 26% | 0% | 0% |
(levels:DL, Full) description-logic-501 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem. | no data | Undecided | Undecided | no data | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-502 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem. | no data | Undecided | Undecided | no data | Undecided | Undecided | Undecided |
(levels:DL, Full) description-logic-905 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 2. M is 3. N times M is 6. | no data | Undecided | Undecided | no data | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-906 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is 600. | no data | Undecided | Undecided | no data | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-907 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 200. M is 300. N times M is 60000. | no data | no data | Undecided | no data | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-910 [EXTRACREDIT: Med L XXL]
This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is not 601. | no data | Undecided | Pass | no data | no data | Undecided | Undecided |
Syntactic Level Test for I5.8-001 | Pass | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.8-003 | Pass | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.8-004 | Pass | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for description-logic-501 | Pass | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for description-logic-502 | Pass | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for description-logic-905 | Pass | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for description-logic-906 | Pass | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for description-logic-907 | Pass | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for description-logic-910 | Pass | Pass | no data | Pass | no data | no data | no data |
No results on these tests for: Hoolet FaCT
Test | WonderWeb | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 66 tests) | 50% | 40% | 84% | 4% | 53% | 15% | 34% | 0% |
(levels:Full) AnnotationProperty-003 [EXTRACREDIT: Med L XXL] URI references used in annotations don't need to be typed. | no data | no data | Pass | Undecided | Pass | no data | Pass | no data |
(levels:Full) AnnotationProperty-004 [EXTRACREDIT: Med L XXL] AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints. | no data | no data | no data | Undecided | no data | no data | Pass | no data |
(levels:Full) Class-004 [EXTRACREDIT: Med L XXL] Annotations about owl:Class are not related to those about rdfs:Class. | no data | Pass | no data | Undecided | no data | no data | no data | no data |
(levels:Full) DatatypeProperty-001 [EXTRACREDIT: Med L XXL] DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full. | no data | Undecided | no data | Undecided | no data | Pass | Pass | no data |
(levels:Full) I4.6-004 [EXTRACREDIT: Med L XXL]
owl:sameAs is stronger than owl:equivalentClass . | no data | Pass | no data | Undecided | no data | no data | no data | no data |
(levels:Full) I5.1-010 [EXTRACREDIT: Med L XXL] There are 128 different bytes that are also unsigned integers; and hence also 127. | no data | Pass | no data | Undecided | no data | Undecided | Undecided | no data |
(levels:Full) I5.26-001 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and a type triple. | no data | Pass | Pass | Undecided | no data | no data | Pass | no data |
(levels:Full) I5.26-002 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple. | no data | Pass | Pass | Undecided | no data | Pass | Pass | no data |
(levels:Full) I5.26-003 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between two class descriptions. | no data | Pass | Pass | Undecided | no data | Pass | Pass | no data |
(levels:Full) I5.26-004 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and an owl:disjointWith triple. | no data | Pass | Pass | Undecided | no data | Pass | Pass | no data |
(levels:Full) I5.26-005 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple. | no data | Pass | Pass | Undecided | no data | Pass | Pass | no data |
(levels:Full) I5.26-006 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle. | no data | Pass | Pass | Undecided | no data | no data | Pass | no data |
(levels:Full) I5.26-007 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle. | no data | Pass | Pass | Undecided | no data | no data | Pass | no data |
(levels:Full) I5.3-005 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. | no data | Pass | Pass | Undecided | no data | no data | Pass | no data |
(levels:Full) I5.3-007 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. | no data | Pass | Pass | Undecided | no data | no data | Pass | no data |
(levels:Full) I5.3-009 [EXTRACREDIT: Med L XXL] The use of blank nodes in OWL DL and OWL Lite is restricted. | no data | Pass | Pass | Undecided | no data | no data | Pass | no data |
(levels:Full) I5.3-010 [EXTRACREDIT: Med L XXL] Classes cannot be the object of regular properties in OWL DL. | no data | Pass | no data | Undecided | no data | Pass | Pass | no data |
(levels:Full) I5.5-006 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists. | no data | Pass | Pass | Undecided | no data | no data | no data | no data |
(levels:Full) I5.8-014 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full. | no data | Pass | no data | Undecided | no data | no data | Pass | no data |
(levels:Full) I5.8-016 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full. | no data | Pass | Pass | Undecided | Pass | no data | Pass | no data |
(levels:Full) I6.1-001 [EXTRACREDIT: Med L XXL] The blank nodes in a individual description in OWL DL may not form a directed cycle. | no data | Pass | Pass | Undecided | no data | no data | Pass | no data |
(levels:Full) Restriction-003 [EXTRACREDIT: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | no data | Pass | Pass | Undecided | no data | Pass | Pass | no data |
(levels:Full) backwardCompatibleWith-002 [EXTRACREDIT: Med L XXL]
In OWL Lite and DL the subject and object of a triple with predicate owl:backwardCompatibleWith
must both be explicitly typed as owl:Ontology . | no data | Pass | Pass | Undecided | no data | no data | Pass | no data |
(levels:Full) disjointWith-004 [EXTRACREDIT: Med L XXL] This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D. | no data | Pass | Pass | Undecided | no data | Pass | Pass | no data |
(levels:Full) disjointWith-006 [EXTRACREDIT: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL. | no data | Pass | Pass | Undecided | no data | Pass | Pass | no data |
(levels:Full) disjointWith-008 [EXTRACREDIT: Med L XXL] A further example that cannot be generated from the mapping rule for DisjointClasses. | no data | Pass | Pass | Undecided | no data | Pass | Pass | no data |
(levels:Full) extra-credit-002 [EXTRACREDIT: Med L XXL] This test shows a relationship between integer multiplication and OWL Full. | no data | no data | no data | Pass | no data | no data | no data | no data |
(levels:Full) extra-credit-003 [EXTRACREDIT: Med L XXL] Prime factorization can be expressed in OWL Full. | no data | Undecided | no data | Pass | no data | no data | no data | no data |
(levels:Full) extra-credit-004 [EXTRACREDIT: Med L XXL] A more difficult prime factorization example. | no data | Undecided | no data | Pass | no data | no data | no data | no data |
(levels:Full) imports-002 [EXTRACREDIT: Med L XXL] If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. | no data | Pass | Pass | Undecided | no data | no data | no data | Undecided |
(levels:Full) miscellaneous-301 [EXTRACREDIT: Med L XXL] Annotations participate a little in the semantics. | no data | Pass | Pass | Undecided | no data | no data | no data | no data |
(levels:Full) oneOf-001 [EXTRACREDIT: Med L XXL]
oneOf does not indicate that the named
individuals are distinct. Thus a consistent interpretation
of this file is when all the individual names denote the
same individual. | no data | Pass | Pass | Undecided | no data | Undecided | Pass | no data |
(levels:Full) someValuesFrom-002 [EXTRACREDIT: Med L XXL]
A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom . | no data | Pass | Pass | Undecided | no data | no data | no data | Undecided |
Syntactic Level Test for AnnotationProperty-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for AnnotationProperty-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Class-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for DatatypeProperty-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I4.6-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.1-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.26-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.26-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.26-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.26-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.26-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.26-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.26-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.3-005 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.3-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.3-009 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.3-010 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.5-007 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I5.8-014 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for I6.1-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for Restriction-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for backwardCompatibleWith-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for disjointWith-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for disjointWith-006 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for disjointWith-008 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for extra-credit-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for extra-credit-003 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for extra-credit-004 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for imports-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for miscellaneous-301 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for oneOf-001 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
Syntactic Level Test for someValuesFrom-002 | Pass | no data | Pass | no data | Pass | no data | no data | no data |
No results on these tests for: WonderWeb Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor |
---|---|---|---|---|---|---|---|---|
Percent Passing (of 7 tests) | 57% | 85% | 42% | 42% | 28% | 42% | 14% | 28% |
(levels:Lite, Full) I5.8-007 [APPROVED: Med L XXL]
-1 is an xsd:short
that is not an
xsd:unsignedByte . | Pass | Pass | Undecided | Fail | Undecided | no data | no data | no data |
(levels:Lite, Full) I5.8-015 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics. | Pass | Pass | Undecided | Pass | Undecided | no data | no data | Fail |
(levels:Lite, Full) description-logic-601 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. | no data | Pass | Pass | Fail | Pass | Pass | no data | Undecided |
(levels:Lite, Full) description-logic-646 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | no data | Pass | Pass | Fail | Pass | Pass | Pass | Pass |
(levels:Lite, Full) miscellaneous-204 [APPROVED: Med L XXL]
This shows a simple inconsistency depending on the datatype
rdf:XMLLiteral.
This file is inconsistent with a datatype map which supports rdf:XMLLiteral ,
and consistent otherwise. | Undecided | Pass | Pass | Fail | Undecided | Undecided | no data | Pass |
(levels:Lite) AnnotationProperty-001 [APPROVED: Med L XXL] The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations. | Pass | no data | Fail | Pass | Undecided | no data | no data | no data |
(levels:Lite) miscellaneous-205 [APPROVED: Med L XXL]
This shows that an OWL consistency checker which does not
support the datatype
rdf:XMLLiteral
should
not detect inconsistencies depending on it.
This file is inconsistent with a datatype map which supports rdf:XMLLiteral ,
but consistent in this test, which excludes such support. | Pass | Pass | Undecided | Pass | Undecided | Pass | no data | Fail |
No results on these tests for: WonderWeb
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|---|---|
Percent Passing (of 11 tests) | 36% | 100% | 54% | 0% | 72% | 81% | 36% | 54% | 0% |
(levels:DL, Full) I5.21-002 [APPROVED: Med L XXL] The construct used here shows how to express mutual disjointness between classes with O(N) triples. | Undecided | Pass | Pass | Fail | Pass | Undecided | no data | no data | no data |
(levels:DL, Full) description-logic-002 [APPROVED: Med L XXL] DL Test: fact2.1 | Undecided | Pass | Pass | Fail | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-019 [APPROVED: Med L XXL] DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case | no data | Pass | Pass | Fail | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-022 [APPROVED: Med L XXL] DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case | no data | Pass | Pass | Fail | Undecided | Pass | Pass | Undecided | Undecided |
(levels:DL, Full) description-logic-106 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | no data | Pass | Pass | Fail | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) description-logic-503 [APPROVED: Med L XXL] This is a different encoding of test 501. | no data | Pass | Undecided | Fail | Pass | Pass | no data | Undecided | no data |
(levels:DL, Full) disjointWith-003 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) disjointWith-005 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) disjointWith-007 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) disjointWith-009 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL. | Pass | Pass | Undecided | Fail | Pass | Pass | no data | Pass | no data |
(levels:DL, Full) oneOf-004 [APPROVED: Med L XXL] This test illustrates the use of dataRange in OWL DL. This test combines some of the ugliest features of XML, RDF and OWL. | Undecided | Pass | Pass | Fail | Undecided | Undecided | no data | no data | no data |
No results on these tests for: WonderWeb Hoolet FaCT
Test | FOWL | Pellet | Euler | OWLP | Cerebra | ConsVISor | Surnia |
---|---|---|---|---|---|---|---|
Percent Passing (of 4 tests) | 50% | 0% | 100% | 0% | 25% | 50% | 50% |
(levels:Full) AnnotationProperty-002 [APPROVED: Med L XXL] Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment. | Undecided | no data | Pass | Fail | Pass | no data | no data |
(levels:Full) I5.5-003 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:rest property. | Pass | Fail | Pass | no data | no data | Undecided | Pass |
(levels:Full) I5.5-004 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:first property. | Pass | Fail | Pass | no data | no data | Pass | Pass |
(levels:Full) Thing-005 [APPROVED: Med L XXL] The extension of OWL Thing may not be a singleton in OWL Full. | no data | Fail | Pass | no data | no data | Pass | no data |
No results on these tests for: WonderWeb FaCT Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|---|---|
Percent Passing (of 2 tests) | 0% | 100% | 100% | 0% | 50% | 0% | 50% |
(levels:Lite, Full) I5.8-010 [EXTRACREDIT: Med L XXL]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger . | Undecided | Pass | Pass | Fail | Pass | Undecided | no data |
(levels:Lite, Full) miscellaneous-203 [EXTRACREDIT: Med L XXL] This shows that initial whitespace in an rdf:XMLLiteral is significant within OWL. | Undecided | Pass | Pass | Fail | Undecided | Undecided | Pass |
No results on these tests for: WonderWeb FaCT Surnia
Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | ConsVISor |
---|---|---|---|---|---|---|---|
Percent Passing (of 3 tests) | 0% | 100% | 100% | 0% | 0% | 0% | 0% |
(levels:DL, Full) I5.8-001 [EXTRACREDIT: Med L XXL]
There are only 256 different values for xsd:byte . | no data | Pass | Pass | Fail | Undecided | Undecided | Undecided |
(levels:DL, Full) I5.8-003 [EXTRACREDIT: Med L XXL]
There are only 128 different values of xsd:byte
that are also xsd:unsignedInt . | no data | Pass | Pass | Fail | Undecided | Undecided | Undecided |
(levels:DL, Full) I5.8-004 [EXTRACREDIT: Med L XXL]
There are precisely 128 different values of xsd:byte
that are also xsd:unsignedInt . | Undecided | Pass | Pass | Fail | Undecided | Undecided | no data |
No results on these tests for: Cerebra Hoolet FaCT ConsVISor Surnia
Test | WonderWeb | FOWL | Pellet | Euler | OWLP |
---|---|---|---|---|---|
Percent Passing (of 2 tests) | 50% | 50% | 50% | 0% | 0% |
(levels:Full) I5.5-007 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists. | no data | Pass | no data | Fail | no data |
Syntactic Level Test for I5.8-016 | Pass | no data | Pass | no data | Fail |
No results on these tests for: WonderWeb FOWL Cerebra Hoolet FaCT Surnia
Test | Pellet | Euler | OWLP | ConsVISor |
---|---|---|---|---|
Percent Passing (of 1 tests) | 100% | 100% | 0% | 0% |
(levels:Lite, Full) Thing-003 [APPROVED: Med L XXL] The extension of OWL Thing may not be empty. | Pass | Pass | Fail | Fail |
No results on these tests for: WonderWeb FOWL Cerebra Hoolet FaCT Surnia
Test | Pellet | Euler | OWLP | ConsVISor |
---|---|---|---|---|
Percent Passing (of 1 tests) | 100% | 0% | 100% | 0% |
(levels:DL) Thing-004 [APPROVED: Med L XXL] The extension of OWL Thing may be a singleton in OWL DL. | Pass | Fail | Pass | Fail |
The WonderWeb OWL API provides a high-level view on an OWL ontology based on the abstract syntax. Ontologies are parsed from XML-RDF, during which conditions for DL species are checked. The dats structure produced is then checked for expressivity to determine if it is DL/Lite.
F-OWL an open source OWL inference engine, implemented in the Flora-2/XSB system. For more information, please see http://fowl.sourceforge.net
Pellet is an OWL DL reasoner based on the tableaux algorithms developed for expressive Description Logics. Pellet also has a complete syntax checker for species validation. Pellet is intended to provide sound and complete, decidable and generally efficient reasoning services for OWL lite, and as much of OWL DL as is currently known to be possible. It also uses some heuristics to handle untyped nodes (if something is not declared to be a class but still used as a class in the ontology) and thus process some OWL Full ontologies. More information about it can be found here http://www.mindswap.org/2003/pellet/
Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection and will tell you whether a given set of facts and rules supports a given conclusion. To parse the manifests and the test documents Jena 2 is used.
OWLP Version 0.6 is a parser for the OWL DL and OWL Lite languages as written in RDF/XML. OWLP works by 1/ processing an RDF/XML document into an XQuery 1.0 path datamodel; 2/ translating this datamodel into an RDF graph, using the current editor's draft of the RDF Syntax document; 3/ processing imports triples, adding the result to the RDF graph; 4/ translating the final RDF graph into an OWL DL abstract ontology, using an inverse of the translation in the OWL Semantics and Abstract Syntax document. An RDF/XML document is an OWL DL document if and only if this process succeeds. An RDF/XML document is an OWL Lite document if the resulting abstract ontology meets the requirements for OWL Lite. This verison of OWLP is hooked up to an experimental partial reimplementation of DLP to provide reasoning support.
Cerebra. The Network Inference Cerebra technology provides a commercial grade, robust, scalable implementation of the DL algorithms that use OWL documents in their native form. These algorithms are encapsulated into a run-time engine that is provided as a service to other applications or services and can respond to queries about ontologies from those applications. Furthermore, the Cerebra Server provides linkages and techniques to reason about data and information not held within a given ontology, by accessing relational data structures or meta-data.
Hoolet is an OWL DL Reasoner that uses a First Order Prover to reason about OWL ontologies. Ontologies are parsed using an OWL API and translated to TPTP format. Vampire is then used to check consistency of the resulting translation.
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. As FaCT has no A-box reasoning, some of the consistency/inconsistency tests have been run not with an automated harness but through a manual translation to an equivalent problem that FaCT can solve.
ConsVISor is a Consistancy Checker for OWL Full, DL and Lite that emphasizes the generation of highly descriptive error and warning messages in both html and OWL formats.
Surnia is an OWL Full reasoner using Python (including rdflib) for language translation, OTTER for inference, and custom axioms. Project homepage is http://www.w3.org/2003/08/surnia.
Just starting to get some real data here. If you have some to offer, see if it works here, then send sandro@w3.org a pointer, cc public-webont-comments@w3.org.
This is generated from RDF by some python code.
Generated Tue, 09 Mar 2004 00:25:51 +0000
$Id: test-results-out.html,v 1.37 2004/03/09 00:27:03 sandro Exp $
sandro@w3.org